par Schobbens, Pierre-Yves ;Raskin, Jean-François ;Henzinger, Thomas A.
Référence Theoretical computer science, 274, 1-2, page (151-182)
Publication Publié, 2002-03
Article révisé par les pairs
Titre:
  • Axioms for real-time logics
Auteur:Schobbens, Pierre-Yves; Raskin, Jean-François; Henzinger, Thomas A.
Informations sur la publication:Theoretical computer science, 274, 1-2, page (151-182)
Statut de publication:Publié, 2002-03
Sujet CREF:Informatique mathématique
Mots-clés:Axiomatization
Completeness
Real time
Temporal logic
Note générale:SCOPUS: cp.j
Langue:Anglais
Identificateurs:urn:issn:0304-3975
info:doi/10.1016/S0304-3975(00)00308-X
info:scp/0037028875