An Invariant-Based Approach to the Verification of Asynchronous Parameterized Networks

Konnov, Igor V.

by Igor V. Konnov

Reference:

An Invariant-Based Approach to the Verification of Asynchronous Parameterized NetworksIgor V. Konnov2011, Talk at Concurrency Seminar, Oxford Computing Laboratory, Oxford, February, 2011.

Bibtex Entry:

@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},
}