| langue originale | Anglais |
|---|---|
| Lieu de publication | Saarbrücken (Germany) |
| Editeur | Max-Planck-Institut für Informatik |
| Volume | 3 |
| Etat de la publication | Publié - 1999 |
Axioms for real-time logics
Thomas Henzinger, Jean-Francois Raskin, Pierre-Yves Schobbens
Résultats de recherche: Livre/Rapport/Revue › Autre rapport