Enumération des états accessibles d'un système temporel spécifié au noyau de Lotos étendu en facteur temps

dc.contributor.author	Abdelli, Abdelkrim
dc.date.accessioned	2017-04-30T13:27:42Z
dc.date.available	2017-04-30T13:27:42Z
dc.date.issued	1998
dc.identifier.uri	http://hdl.handle.net/123456789/5344
dc.description	151 p. : ill. ; 30 cm.(+ microfiche).	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Informatique, langage Lotos	fr_FR
dc.subject	Langage lotos,informatique	fr_FR
dc.title	Enumération des états accessibles d'un système temporel spécifié au noyau de Lotos étendu en facteur temps	fr_FR
dc.type	Thesis	fr_FR