Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 1-12 |
Seitenumfang | 12 |
Fachzeitschrift | Formal Methods in System Design |
Volume | 50 |
Issue | 137 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2017 |
Research Field
- Nicht definiert
Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 1-12 |
Seitenumfang | 12 |
Fachzeitschrift | Formal Methods in System Design |
Volume | 50 |
Issue | 137 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2017 |