Searching for "A direct symbolic approach to model checking pushdown systems." – 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.

A Direct Symbolic Approach to Model Checking Pushdown Systems (Extended Abstract)
by Alain Finkel, Ens De Cachan, Bernard Willems, Pierre Wolper — 1997
…. Elsevier Science, 1997. A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract…
Cited by 88 (4 self) – Add To MetaCart

A Direct Symbolic Approach to Model Checking Pushdown Systems (extended )
by Alain Finkel Lsv, Alain Finkel, Bernard Willems, Pierre Wolper — 1997
…A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract) Alain Finkel LSV…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB