CheAPS: a Checker of Asynchronous Parameterized Systems (bibtex)
by Igor V. Konnov
Reference:
CheAPS: a Checker of Asynchronous Parameterized SystemsIgor V. KonnovThird International Workshop on Invariant Generation (WING 2010) affiliated with IJCAR at FLoC 2010, 2010.Note: Available as http://lvk.cs.msu.su/ konnov/publications/k10_cheaps_abstract.pdf and http://lvk.cs.msu.su/ konnov/publications/k10_cheaps_presentation.pdf
Bibtex Entry:
@inproceedings{Konnov2010:WING2010,
  author    = {Igor V. Konnov},
  title     = {CheAPS: a Checker of Asynchronous Parameterized Systems},
  booktitle = {Third International Workshop on Invariant Generation
      (WING 2010) affiliated with IJCAR at FLoC 2010},
  year      = {2010},
  note      = "Available as \url{http://lvk.cs.msu.su/~konnov/publications/k10_cheaps_abstract.pdf} and \url{http://lvk.cs.msu.su/~konnov/publications/k10_cheaps_presentation.pdf}",
}
Powered by bibtexbrowser