An Invariant-Based Approach to the Verification of Asynchronous Parameterized Networks (bibtex)
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},
}
Powered by bibtexbrowser