Markus Kaltenbach, Jayadev Misra. A Theory of Hints in Model Checking. In Bernhard K. Aichernig, T. S. E. Maibaum, editors, Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers. Volume 2757 of Lecture Notes in Computer Science, pages 423-438, Springer, 2002. [doi]
@inproceedings{KaltenbachM02, title = {A Theory of Hints in Model Checking}, author = {Markus Kaltenbach and Jayadev Misra}, year = {2002}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2757&spage=423}, tags = {model checking, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/KaltenbachM02}, cites = {0}, citedby = {0}, pages = {423-438}, booktitle = {Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers}, editor = {Bernhard K. Aichernig and T. S. E. Maibaum}, volume = {2757}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20527-6}, }