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