Model Exploration with Temporal Logic Query Checking (2002)

Cached

Download Links

by Arie Gurfinkel , Benet Devereux , Marsha Chechik
Venue:IN PROCEEDINGS OF SIGSOFT CONFERENCE ON FOUNDATIONS OF SOFTWARE ENGINEERING (FSE'02
Citations:20 - 9 self