Issues in Verification
Date
2002Dewey
Informatique généraleSujet
Méthodes formelles (informatique); Réseaux de PétriBook title
Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and ApplicationsAuthor
C. Girault, R. ValkPublisher
Springer-VerlagPublisher city
BerlinYear
2002Pages number
607 p.ISBN
3-540-41217-4Collections
Metadata
Show full item recordAuthor
Haddad, Serge