The system for verfication of parameterized models of asynchronous distributed systems (CHEAPS) (bibtex)
by Igor V. Konnov
Reference:
The system for verfication of parameterized models of asynchronous distributed systems (CHEAPS)Igor V. KonnovProc. 5th All-Russia Scientific and Technical Conf. Tehnologii Microsoft v teorii i praktike programmirovaniya (Microsoft technologies in theory and practice of programming), 2008.
Bibtex Entry:
@inproceedings{Konnov2008,
  author    = {Igor V. Konnov},
  title     = {The system for verfication of parameterized models of
                asynchronous distributed systems (CHEAPS)},
  booktitle = {Proc. 5th All-Russia Scientific
    and Technical Conf. Tehnologii Microsoft v teorii i praktike
    programmirovaniya (Microsoft technologies in theory and practice
    of programming)},
  year      = {2008},
  language  = {russian},
}
Powered by bibtexbrowser