| Period | 15 Sept 1997 → 15 Feb 1998 |
|---|---|
| Event type | Outside journey |
| Location | Instituto Superior Tecnico, Lisboa, PortugalShow on map |
Documents & Links
Related content
-
Student theses
-
Logics, Automata and Classical Theories for Deciding Real Time
Student thesis: Doc types › Doctor of Sciences
-
Research output
-
A two-level temporal logic for evolving specifications
Research output: Contribution to journal › Article › peer-review