Searching for "Efficient Reachability Set Generation and Storage Using Decision Diagrams." – 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.

Efficient reachability set generation and storage using decision diagrams
by Andrew S. Miner, Gianfranco Ciardo — 1999 — Application and Theory of Petri Nets 1999 (Proc. 20th Int. Conf. on Applications and Theory of Petri Nets
…Ecient reachability set generation and storage using decision diagrams Andrew S. Miner…
Cited by 45 (21 self) – Add To MetaCart

Showing 1 through 1.

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