An invariant-based approach to the verification of asynchronous parameterized networks

Konnov, Igor V.; Zakharov, Vladimir A.

by Igor V. Konnov, Vladimir A. Zakharov

Reference:

An invariant-based approach to the verification of asynchronous parameterized networksIgor V. Konnov, Vladimir A. ZakharovJ. Symb. Comput., volume 45, number 11, pages 1144-1162, 2010.Note: A draft is also available as http://lvk.cs.msu.su/ konnov/publications/kz09_jsc_invariant_draft.pdf

Bibtex Entry:

@article{KonnovZakharov2010:JSC,
  author    = {Igor V. Konnov and
               Vladimir A. Zakharov},
  title     = {An invariant-based approach to the verification of asynchronous
               parameterized networks},
  journal   = {J. Symb. Comput.},
  volume    = {45},
  number    = {11},
  year      = {2010},
  pages     = {1144-1162},
  ee        = {http://dx.doi.org/10.1016/j.jsc.2008.11.006},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note      = "A draft is also available as \url{http://lvk.cs.msu.su/~konnov/publications/kz09_jsc_invariant_draft.pdf}",
}