For the most recent entries see the Petri Nets Newsletter.

Formal verification of component-based designs.

Karlsson, Daniel; Eles, Petru; Peng, Zebo

In: Design Automation for Embedded Systems, Volume 11, 1, pages 49-90. March 2007. URL:

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography