On the Verification of Parameterized Symmetric Distributed Programs

Konnov, Igor V.; Zakharov, Vladimir A.

by Igor V. Konnov, Vladimir A. Zakharov

Reference:

On the Verification of Parameterized Symmetric Distributed ProgramsIgor V. Konnov, Vladimir A. ZakharovTrudy 1 Vserossiiskoi Nauchnoi Konferentsii Metody i Sredstva Obrabotki Informatsii (Proc. 1st All-Russia Conf. on Methods and Techniques of Information Processing), Moscow, pages 395-400, 2003.Note: Available as http://lvk.cs.msu.su/ konnov/publications/kz03-pmc.pdf

Bibtex Entry:

@inproceedings{ZakharovKonnov2003:MSO,
  author    = {Igor V. Konnov and Vladimir A. Zakharov},
  title     = {On the Verification of
    Parameterized Symmetric Distributed Programs},
  booktitle = {Trudy 1 Vserossiiskoi Nauchnoi Konferentsii Metody i
    Sredstva Obrabotki Informatsii (Proc. 1st All-Russia
    Conf. on Methods and Techniques of Information Processing), Moscow},
  year      = {2003},
  pages     = {395-400},
  language  = {russian},
  note      = "Available as \url{http://lvk.cs.msu.su/~konnov/publications/kz03-pmc.pdf}",
}