Searching for "Expand, Enlarge and Check New algorithms for the coverability problem of WSTS." – 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.

Expand, enlarge and check: new algorithms for the coverability problem of WSTS
by G. Geeraerts, J.-F. Raskin, L. Van Begin — 2004 — Proceedings of the 24th International Conference on Fondation of Software Technology and Theoretical Computer Science (FSTTCS
…Expand, Enlarge, and Check New algorithms for the coverability problem of WSTS Abstract G…
Cited by 6 (3 self) – Add To MetaCart

Showing 1 through 1.

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