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.