Méthodes formelles pour la vérification de processus parallèles d'état infinis

dc.contributor.author	Boukhedouma, S
dc.date.accessioned	2017-04-20T09:02:04Z
dc.date.available	2017-04-20T09:02:04Z
dc.date.issued	1998
dc.identifier.uri	http://hdl.handle.net/123456789/5330
dc.description	108 p. : ill. ; 30 cm.(+ microfiche).	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Informatique, Parallélisme	fr_FR
dc.subject	Parallélisme, informatique	fr_FR
dc.title	Méthodes formelles pour la vérification de processus parallèles d'état infinis	fr_FR
dc.type	Thesis	fr_FR