Structural Methods
Date
2002Dewey
Informatique généraleSujet
Méthodes formelles; Réseaux de PetriBook title
Petri Nets for Systems Engineering: a Guide to Modeling, Verification and ApplicationsAuthor
Valk, Rüdiger; Girault, ClaudePublisher
Springer-VerlagPublisher city
BerlinYear
2002Pages number
607ISBN
3-540-41217-4Collections
Metadata
Show full item recordAuthor
Colom, José
Teruel, Enrique
Silva, Manuel
Haddad, Serge