| 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