C. R. Ramakrishnan. A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. 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 1-13, Springer, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.