For the most recent entries see the
Petri Nets Newsletter.
Recycling Model Checking Tools for New Application Domains.
Stehno, Christian
In:
K. Schmidt, Chr. Stahl (Eds.): Proceedings of the 12th Workshop "Algoritmen und Werkzeuge für Petrinetze" (AWPN 2005), pages 43-47.
Informatik-Bericht der Humboldt-Universität zu Berlin Nr. 192,
September 2005.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography