Dein Suchergebnis zum Thema: danger
Jan-Oliver Wülfing https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/jan-oliver-wulfing/
None
Chi Tai Dang Simon Flutura Dr. Tom Giraud Tobias Huber Dr.
Ehemalige Mitarbeiter/innen https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/
Chi Tai Dang Simon Flutura Dr. Tom Giraud Tobias Huber Dr.
Dr. Michael Dietz https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/dietz/
DOI: 10.1145/3342428.3342655 PDF | BibTeX | RIS | DOI Ilhan Aslan, Chi Tai Dang
Temporale und modale Logiken https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/temporale-und-modale-logiken/
None
Peter Höfner, Han-Hing Dang Beteiligte WissenschaftlerInnen / Kooperationen: Dr
Publikationen https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/andre/publikationen/
Chi Tai Dang Simon Flutura Dr. Tom Giraud Tobias Huber Dr.
Björn Petrak https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/petrak/
3365610.3365622 PDF | BibTeX | RIS | DOI Björn Bittner, Ilhan Aslan, Chi Tai Dang
Iterationsalgebren https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/iterationsalgebren/
None
Peter Höfner, Han-Hing Dang Beteiligte WissenschaftlerInnen / Kooperationen: Prof
Zeigerstrukturen https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/zeigerstrukturen/
None
Thorsten Ehm, Han-Hing Dang Zusammenfassung Hochkomplexe Zeigerstrukturen spiele
Prof. Dr. Ulhaas https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/ulhaas/
Chi Tai Dang Simon Flutura Dr. Tom Giraud Tobias Huber Dr.