CheAPS: Parameterized Model Checking Tool (bibtex)
by Igor V. Konnov
Reference:
CheAPS: Parameterized Model Checking ToolIgor V. Konnov2009, Joint Workshop of Microsoft Research and Institute for System Programming Russian Academy of Sciences, Moscow, June 2009.
Bibtex Entry:
@misc{Konnov2009:MSR,
  author    = {Igor V. Konnov},
  title     = {CheAPS: Parameterized Model Checking Tool},
  howpublished = {Joint Workshop of Microsoft Research and Institute for System
      Programming Russian Academy of Sciences, Moscow, June 2009},
  year = {2009},
}
Powered by bibtexbrowser