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]
@inproceedings{Ramakrishnan01:1, title = {A Model Checker for Value-Passing Mu-Calculus Using Logic Programming}, author = {C. R. Ramakrishnan}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/1990/19900001.htm}, tags = {C++, logic programming, programming, logic}, researchr = {https://researchr.org/publication/Ramakrishnan01%3A1}, cites = {0}, citedby = {0}, pages = {1-13}, booktitle = {Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings}, editor = {I. V. Ramakrishnan}, volume = {1990}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-41768-0}, }