Roderick Bloem, Kavita Ravi, Fabio Somenzi. Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. In Nicolas Halbwachs, Doron Peled, editors, Computer Aided Verification, 11th International Conference, CAV 99, Trento, Italy, July 6-10, 1999, Proceedings. Volume 1633 of Lecture Notes in Computer Science, pages 222-235, Springer, 1999. [doi]
@inproceedings{BloemRS99,
title = {Efficient Decision Procedures for Model Checking of Linear Time Logic Properties},
author = {Roderick Bloem and Kavita Ravi and Fabio Somenzi},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/1633/16330222.htm},
tags = {model checking, meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/BloemRS99},
cites = {0},
citedby = {0},
pages = {222-235},
booktitle = {Computer Aided Verification, 11th International Conference, CAV 99, Trento, Italy, July 6-10, 1999, Proceedings},
editor = {Nicolas Halbwachs and Doron Peled},
volume = {1633},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66202-2},
}