State Generation in the PARMC Model Checker

Owen Kaser. State Generation in the PARMC Model Checker. In I. V. Ramakrishnan, editor, Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings. Volume 1990 of Lecture Notes in Computer Science, pages 337-352, Springer, 2001. [doi]

No reviews for this publication, yet.