MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Bounded Model Checking for Timed Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Bounded model checking for timed systems  
  • by G. Audemard, A. Cimatti, A. Kornilowicz, R. Sebastiani — 2002 — In IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), LNCS
  • …Bounded Model Checking for Timed Systems ⋆ G. Audemard 1 , A. Cimatti 1 , A. Kornilowicz 1 , and R…
  • Cited by 32 (5 self) – Add To MetaCart
  • Bounded Model Checking for Timed Systems  
  • by Scientifica E Tecnologica, G. Audemard, A. Cimatti, A. Kornilowicz, R. Sebastiani, G. Audemard, A. Cimatti, A. Kornilowicz — 2002
  • … by the copyright owner. Bounded Model Checking for Timed Systems G. Audemard 1 , A. Cimatti 1 , A…
  • Add To MetaCart
  • Sur La Verification De La Satisfaction Pour La Logique Des Differences  
  • by Docteur De L'universit, En Informatique, Moez Mahfoudh, Karem A. Sakallah, Henrik Reif Andersen, Oded Maler, Directeur De These, Alessandro Cimatti Examinateur, Eugene Asarin Examinateur, Peter Niebert Examinateur — 2003
  • … of timed systems. The first step in extending bounded model checking to timed systems is to define…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB