Arie Gurfinkel, Benet Devereux, Marsha Chechik
Model exploration with temporal logic query checking
FSE, 2002.
@inproceedings{FSE-2002-GurfinkelDC,
author = "Arie Gurfinkel and Benet Devereux and Marsha Chechik",
booktitle = "{Proceedings of the 10th Symposium on Foundations of Software Engineering}",
doi = "10.1145/587051.587073",
isbn = "1-58113-514-9",
pages = "139--148",
publisher = "{ACM}",
title = "{Model exploration with temporal logic query checking}",
year = 2002,
}