Vérification de propriétés spécifiques

dc.contributor.author	Haddad, Serge HAL ID: 745039
dc.contributor.author	Vernadat, François HAL ID: 17748 ORCID: 0000-0003-3596-1699
dc.date.accessioned	2009-07-17T08:46:27Z
dc.date.available	2009-07-17T08:46:27Z
dc.date.issued	2003
dc.identifier.uri	https://basepub.dauphine.fr/handle/123456789/1193
dc.language.iso	en	en
dc.subject	Réseaux de Petri	en
dc.subject	Systèmes informatiques	en
dc.subject	Modèles mathématiques	en
dc.subject.ddc	003	en
dc.title	Vérification de propriétés spécifiques	en
dc.type	Chapitre d'ouvrage
dc.contributor.editoruniversityother	Université Paul Sabatier - Toulouse III;France
dc.identifier.citationpages	31-96	en
dc.relation.ispartoftitle	Vérification et mise en œuvre des réseaux de Petri	en
dc.relation.ispartofeditor	Diaz, Michel
dc.relation.ispartofpublname	Hermès Science : Lavoisier	en
dc.relation.ispartofpublcity	Paris	en
dc.relation.ispartofdate	2003
dc.relation.ispartofpages	389	en
dc.description.sponsorshipprivate	oui	en
dc.subject.ddclabel	Recherche opérationnelle	en
dc.relation.ispartofisbn	2-7462-0445-2	en

Files in this item

Files	Size	Format	View
There are no files associated with this item.