Fingerprint
Dive into the research topics of 'Axioms for Real-Time Logics'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Axioms for Real-Time Logics
Jean-Francois Raskin, Pierre-Yves Schobbens, Thomas Henzinger
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution