Application of CHEAPS System to Parameterized Model Checking of Distributed Systems

Konnov, Igor V.

by Igor V. Konnov

Reference:

Application of CHEAPS System to Parameterized Model Checking of Distributed SystemsIgor V. KonnovTrudy 3 Vserossiiskoi Nauchnoi Konferentsii Metody i Sredstva Obrabotki Informatsii (Proc. 3rd All-Russia Conf. on Methods and Techniques of Information Processing), pages 116-122, 2009.Note: Available as http://lvk.cs.msu.su/ ashalimov/doc/MCO09_-_part1.pdf

Bibtex Entry:

@inproceedings{Konnov2009,
  author    = {Igor V. Konnov},
  title     = {Application of CHEAPS System to Parameterized Model
        Checking of Distributed Systems},
  booktitle = {Trudy 3 Vserossiiskoi Nauchnoi Konferentsii Metody i
        Sredstva Obrabotki Informatsii (Proc. 3rd All-Russia
        Conf. on Methods and Techniques of Information Processing)},
  year      = {2009},
  pages     = {116-122},
  language  = {russian},
  note      = "Available as \url{http://lvk.cs.msu.su/~ashalimov/doc/MCO09_-_part1.pdf}",
}