Issues in Verification
dc.contributor.author | Haddad, Serge
HAL ID: 745039 | |
dc.date.accessioned | 2009-07-15T13:01:43Z | |
dc.date.available | 2009-07-15T13:01:43Z | |
dc.date.issued | 2002 | |
dc.identifier.uri | https://basepub.dauphine.fr/handle/123456789/1137 | |
dc.language.iso | en | en |
dc.subject | Méthodes formelles (informatique) | en |
dc.subject | Réseaux de Pétri | en |
dc.subject.ddc | 004 | en |
dc.title | Issues in Verification | en |
dc.type | Chapitre d'ouvrage | en_US |
dc.identifier.citationpages | 183-200 | en |
dc.relation.ispartoftitle | Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications | en |
dc.relation.ispartofeditor | C. Girault, R. Valk | |
dc.relation.ispartofpublname | Springer-Verlag | en |
dc.relation.ispartofpublcity | Berlin | en |
dc.relation.ispartofdate | 2002 | |
dc.relation.ispartofpages | 607 p. | en |
dc.description.sponsorshipprivate | oui | en |
dc.subject.ddclabel | Informatique générale | en |
dc.relation.ispartofisbn | 3-540-41217-4 | en |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |