@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}, }