Axioms for real-time logics

Thomas Henzinger, Jean-Francois Raskin, Pierre-Yves Schobbens

Résultats de recherche: Livre/Rapport/RevueAutre rapport

langue originaleAnglais
Lieu de publicationSaarbrücken (Germany)
EditeurMax-Planck-Institut für Informatik
Volume3
Etat de la publicationPublié - 1999

Contient cette citation

Henzinger, T., Raskin, J-F., & Schobbens, P-Y. (1999). Axioms for real-time logics. Max-Planck-Institut für Informatik.