MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Alessandro Cimatti" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 36 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Bounded Model Checking for Past LTL  
  • by Marco Benedetti, Alessandro Cimatti — 2003 — IN PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • …Bounded Model Checking for Past LTL Marco Benedetti and Alessandro Cimatti Istituto per la Ricerca…
  • Cited by 16 (2 self) – Add To MetaCart
  • Introspective Metatheoretic Reasoning  
  • by Fausto Giunchiglia, Fausto Giunchiglia, Alessandro Cimatti, Alessandro Cimatti — 1994 — In Proc. of META-94, Workshop on Metaprogramming in Logic
  • … Metatheoretic Reasoning Fausto Giunchiglia Alessandro Cimatti November 1992 Technical Report # 9211…
  • Cited by 15 (6 self) – Add To MetaCart
  • NuSMV: a reimplementation of SMV  
  • by E. Cimatti, Clarke, Giunchiglia, M. Roveri, Alessandro Cimatti, Fausto Giunchiglia, Marco Roveri — 1998 — In Proc. STTT'98
  • … or legally obtained copies of the article. NuSmv: a reimplementation of Smv Alessandro Cimatti 1 , Ed…
  • Cited by 9 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB