Searching for "Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets." – 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.

Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets - A New
by Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola — 2001 — In Proceedings of TACAS 2001, volume 2031 of LNCS
…Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets - A New…
Add To MetaCart

Showing 1 through 1.

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