Searching for "From Pre-Historic to Post-Modern Symbolic Model Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

From Pre-Historic to Post-Modern Symbolic Model Checking
by Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer — 1998 — In Proceedings of the International Conference on Computer-Aided Veri
…From Pre-historic to Post-modern Symbolic Model Checking Thomas A. Henzinger Orna Kupferman Shaz…
Cited by 29 (5 self) – Add To MetaCart

Algorithms and Methodology for Scalable Model Checking
by Shaz Qadeer, Shaz Qadeer, Shaz Qadeer — 1999 — University of California at Berkeley
… on the paper “From pre-historic to post-modern symbolic model checking” [HKQ98], presented at the 10th…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB