From Real-time Logic to Timed Automata

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

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

OriginalspracheEnglisch
Seiten (von - bis)1-31
Seitenumfang31
FachzeitschriftJournal of ACM
Volume66
Issue3
DOIs
PublikationsstatusVeröffentlicht - 2019

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren