MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Model Checking for Stability Analysis in Rely-Guarantee Proofs." – 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
  • Workshop Program 5th International Verification Workshop – VERIFY’08  
  • by Bernhard Beckert, Gerwin Klein (chairs, Bernhard Beckert, Gerwin Klein Iv V, Bernhard Beckert, Gerwin Klein, Peter Baumgartner, Bruno Dutertre, Reiner Hähnle, Joseph Kiniry, Stephan Merz, Carroll Morgan, Peter Müller, Michael Norrish — 2008
  • …. . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Gernot Heiser Research Papers Model Checking for Stability Analysis in Rely-Guarantee Proofs…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB