Searching for "Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Improved algorithm complexities for linear temporal logic model checking of push down systems
by Katia Hristova, Yanhong A. Liu — 2006 — In Proceedings of the 7th International Conference on Verification, Model Checking and Abstract Interpretation
…Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 1.

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