An Approach to the Verification of Symmetric Parameterized Distributed Systems (bibtex)
by Igor V. Konnov, Vladimir A. Zakharov
Reference:
An Approach to the Verification of Symmetric Parameterized Distributed SystemsIgor V. Konnov, Vladimir A. ZakharovProgramming and Computer Software, volume 31, number 5, pages 225-236, 2005.Note: A draft is also available as http://lvk.cs.msu.su/ konnov/publications/kz05-prog-pmc-draft.pdf
Bibtex Entry:
@article{KonnovZakharov2005,
  author    = {Igor V. Konnov and
               Vladimir A. Zakharov},
  title     = {An Approach to the Verification of Symmetric Parameterized
               Distributed Systems},
  journal   = {Programming and Computer Software},
  volume    = {31},
  number    = {5},
  year      = {2005},
  pages     = {225-236},
  ee        = {http://dx.doi.org/10.1007/s11086-005-0034-4},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note      = "A draft is also available as \url{http://lvk.cs.msu.su/~konnov/publications/kz05-prog-pmc-draft.pdf}",
}
Powered by bibtexbrowser