MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Systematic Construction of Abstractions for Model-Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • Systematic Construction of Abstractions for Model-Checking  
  • by Arie Gurfinkel, Ou Wei, Marsha Chechik — 2006 — In Proceedings of 7th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI’06), volume 3855 of LNCS
  • …Systematic Construction of Abstractions for Model-Checking Arie Gurfinkel, Ou Wei, and Marsha…
  • Cited by 8 (3 self) – Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB