- Titel:
PEGASUS - Verification
- Dokumenttyp:
- Konferenzbeitrag
- Art des Konferenzbeitrags:
- Poster
- Autor(en):
- Korbinian Groh, Sebastian Wagner, Thomas Kühbeck, Alois Knoll
- Dewey-Dezimalklassifikation:
- 000 Informatik, Wissen, Systeme
- Kongress- / Buchtitel:
- PEGASUS Symposium 2019
- Publikationsdatum:
- 14.05.2019
- Jahr:
- 2019
- Quartal:
- 2. Quartal
- Jahr / Monat:
- 2019-05
- Monat:
- May
- Reviewed:
- nein
- Sprache:
- en
- BibTeX