| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 48-72 |
| Seitenumfang | 25 |
| Fachzeitschrift | Dagstuhl reports |
| Volume | 2 |
| Issue | 9 |
| DOIs | |
| Publikationsstatus | Veröffentlicht - 2019 |
Research Field
- Dependable Systems Engineering
From Real-time Logic to Timed Automata
- Jyotirmoy V. Deshmukh
- , Oded Maler
- , Dejan Nickovic
Publikation: Beitrag in Fachzeitschrift › Artikel