Show simple item record

dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.date.accessioned2009-07-15T13:01:43Z
dc.date.available2009-07-15T13:01:43Z
dc.date.issued2002
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/1137
dc.language.isoenen
dc.subjectMéthodes formelles (informatique)en
dc.subjectRéseaux de Pétrien
dc.subject.ddc004en
dc.titleIssues in Verificationen
dc.typeChapitre d'ouvrageen_US
dc.identifier.citationpages183-200en
dc.relation.ispartoftitlePetri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applicationsen
dc.relation.ispartofeditorC. Girault, R. Valk
dc.relation.ispartofpublnameSpringer-Verlagen
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate2002
dc.relation.ispartofpages607 p.en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn3-540-41217-4en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record