]
]
]
]
Publication
Axioms for real-time logics
| Auteur(s) | Pierre-Yves SCHOBBENS, Jean-Francois RASKIN, Thomas HENZINGER |
| Unité(s) de recherche(s) |
Pôle sémantique, logique et calcul
|
| Année | 2002 |
| Type | Articles de périodique |
| Langue | Anglais |
| Mots clés | |
| Résumé | |
| Versions électroniques |
http://www.elsevier.com/gej-ng/10/41/16/227/27/32/abstract.html |
Article de périodique
| Titre du périodique | Theoretical Computer Science |
| Sous-titre du périodique | |
| Editeur scientifique | |
| Volume | 274 |
| Fascicule | 1-2 |
| Pages | 151 - 182 |
| Date de parution | March, 6 |
| Facteur d'impact | |
| Nombre de citations |
