From Real-time Logic to Timed Automata

Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)1-31
Number of pages31
JournalJournal of ACM
Volume66
Issue number3
DOIs
Publication statusPublished - 2019

Research Field

  • Dependable Systems Engineering

Cite this