For the most recent entries see the Petri Nets Newsletter.

Formal Test Generation from UML Models.

Buchs, Didier; Pedro, Luis; Lucio, Levi

In: Dependable Systems: Software, Computing, Networks, pages 145-171. 2006. URL:

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

Back to the Petri Nets Bibliography