Machado,, José Mendes
Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets [Documento electrónico] / José Mendes Machado ; orient. Jaime C. L. Ferreira da Silva, Jean-Jacques Lesage
Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets [Documento electrónico] / José Mendes Machado ; orient. Jaime C. L. Ferreira da Silva, Jean-Jacques Lesage
. - [S.l. : s.n.], 2006
. -
681.5