On the Verification of Asynchronous Parameterized Distributed Programs (bibtex)
by Vladimir A. Zakharov, Igor V. Konnov
Reference:
On the Verification of Asynchronous Parameterized Distributed ProgramsVladimir A. Zakharov, Igor V. KonnovTrudy 2 Vserossiiskoi Nauchnoi Konferentsii Metody i Sredstva Obrabotki Informatsii (Proc. 2nd All-Russia Conf. on Methods and Techniques of Information Processing), Moscow, pages 267-372, 2005.Note: Available as http://lvk.cs.msu.su/ konnov/publications/kz05-pmc.pdf
Bibtex Entry:
@inproceedings{ZakharovKonnov2005:MSO,
  author    = {Vladimir A. Zakharov and Igor V. Konnov},
  title     = {On the Verification of Asynchronous Parameterized
               Distributed Programs},
  booktitle = {Trudy 2 Vserossiiskoi Nauchnoi Konferentsii Metody i
    Sredstva Obrabotki Informatsii (Proc. 2nd All-Russia
    Conf. on Methods and Techniques of Information Processing), Moscow},
  year      = {2005},
  pages     = {267-372},
  language  = {russian},
  note      = "Available as \url{http://lvk.cs.msu.su/~konnov/publications/kz05-pmc.pdf}",
}
Powered by bibtexbrowser