@misc{Konnov2011:Oxford, author = {Igor V. Konnov}, title = {An Invariant-Based Approach to the Verification of Asynchronous Parameterized Networks}, howpublished = {Talk at Concurrency Seminar, Oxford Computing Laboratory, Oxford, February, 2011}, year = {2011}, }