Période | 15 sept. 1997 → 15 févr. 1998 |
---|---|
Type d'événement | Séjour à l'étranger |
Lieu | Instituto Superior Tecnico, Lisboa, PortugalAfficher sur la carte |
Documents et liens
Contenu connexe
-
Thèses de l'étudiant
-
Logics, Automata and Classical Theories for Deciding Real Time
Student thesis: Doc types › Docteur en Sciences
-
Résultat de recherche
-
A two-level temporal logic for evolving specifications
Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs