Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
Finding State Solutions to Temporal Logic Queries
IFM, 2007.
@inproceedings{IFM-2007-GheorghiuGC, author = "Mihaela Gheorghiu and Arie Gurfinkel and Marsha Chechik", booktitle = "{Proceedings of the Sixth International Conference on Integrated Formal Methods}", doi = "10.1007/978-3-540-73210-5_15", isbn = "978-3-540-73209-9", pages = "273--292", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Finding State Solutions to Temporal Logic Queries}", volume = 4591, year = 2007, }