| Original language | English |
|---|---|
| Place of Publication | Saarbrücken (Germany) |
| Publisher | Max-Planck-Institut für Informatik |
| Volume | 3 |
| Publication status | Published - 1999 |
Axioms for real-time logics
Thomas Henzinger, Jean-Francois Raskin, Pierre-Yves Schobbens
Research output: Book/Report/Journal › Other report