Searching for "Model exploration with temporal logic query checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Model Exploration with Temporal Logic Query Checking
by Arie Gurfinkel, Benet Devereux, Marsha Chechik — 2002 — IN PROCEEDINGS OF SIGSOFT CONFERENCE ON FOUNDATIONS OF SOFTWARE ENGINEERING (FSE'02
…Model Exploration with Temporal Logic Query Checking Arie Gurfinkel Benet Devereux Marsha Chechik…
Cited by 15 (8 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB