Date of Award | 1990 |
---|---|
Original language | French |
Awarding Institution |
|
Supervisor | Jean FICHEFET (Supervisor) |
Sur base d'une double spécification - Réseaux de Pétri/L.O.T.O.S. - de Fip
Student thesis: Master types › Master in Computer science