Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/sigsoft/GurfinkelDC02
AU - Gurfinkel, Arie
AU - Devereux, Benet
AU - Chechik, Marsha
TI - Model exploration with temporal logic query checking.
BT - Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002
SP - 139
EP - 148
PY - 2002//
DO - 10.1145/587051.587073
UR - https://doi.org/10.1145/587051.587073
ER -
