Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 1-31 |
Seitenumfang | 31 |
Fachzeitschrift | Journal of ACM |
Volume | 66 |
Issue | 3 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2019 |
Research Field
- Dependable Systems Engineering
Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 1-31 |
Seitenumfang | 31 |
Fachzeitschrift | Journal of ACM |
Volume | 66 |
Issue | 3 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2019 |