J. Leubcke, Ulf Nilsson. On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. In Ana M. D. Moreira, Serge Demeyer, editors, Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. Volume 1743 of Lecture Notes in Computer Science, pages 261, Springer, 1999.
@inproceedings{LeubckeN99, title = {On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming}, author = {J. Leubcke and Ulf Nilsson}, year = {1999}, tags = {meta programming, model checking, meta-model, constraints, logic programming, programming, logic, Meta-Environment}, researchr = {https://researchr.org/publication/LeubckeN99}, cites = {0}, citedby = {0}, pages = {261}, booktitle = {Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings}, editor = {Ana M. D. Moreira and Serge Demeyer}, volume = {1743}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66954-X}, }