MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "An assume-guarantee rule for checking simulation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • An Assume-Guarantee Rule for Checking Simulation  
  • by Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran — 1998 — In Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design (FMCAD 1998), LNCS 1522
  • …An Assume-Guarantee Rule For Checking Simulation ? ?? Thomas A. Henzinger Shaz Qadeer Sriram K…
  • Cited by 11 (2 self) – Add To MetaCart
  • An Assume-Guarantee Rule For Checking Simulation  
  • by Thomas Henzinger Shaz, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran — 1998 — In Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design (FMCAD 1998), LNCS 1522
  • …An Assume-Guarantee Rule For Checking Simulation ? Thomas A. Henzinger Shaz Qadeer Sriram K…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB