On the Verification of Parameterized Symmetric Distributed Programs (bibtex)
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}",
}
Powered by bibtexbrowser