"Petri nets for systems engineering - a guide to modeling, verification, ..."

Claude Girault, Rüdiger Valk (2003)

Details and statistics

DOI:

access: closed

type: Book or Thesis

metadata version: 2011-02-03

a service of  Schloss Dagstuhl - Leibniz Center for Informatics