|
 
|
[EVA06] Méthodes et Outils de Vérification pour les Réseaux de Petri de Haut Niveau. Application à la Validation de Programmes Ada Concurrents.
Mémoire de Thèse : Soutenue le: 01 January 2006, pp. 176p, : Méthodes et Outils de Vérification pour les Réseaux de Petri de Haut Niveau. Application à la Validation de Programmes Ada Concurrents.,
motcle:
BibTeX
| @phdthesis { | |||
| EVA06, | |||
| title | = | "{Méthodes et Outils de Vérification pour les Réseaux de Petri de Haut Niveau. Application à la Validation de Programmes Ada Concurrents.}", | |
| author | = | "S. Evangelista", | |
| year | = | 2006, | |
| pages | = | "176p", | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| } |
