MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Probabilistic abstraction for model checking An approach based on property testing." – 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
  • Probabilistic Abstraction for Model Checking:  
  • by An Approach Based, S. Laplante, R. Lassaigne, F. Magniez, S. Peyronnet, M. De Rougemont — 2001 — In Proc. 17th IEEE Symp. on Logic in Comput. Sci. (LICS 2002
  • …Probabilistic abstraction for model checking: An approach based on property testing S. Laplante…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB