Dein Suchergebnis zum Thema: danger

Technische Berichte

https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/team/prof-dr-bernhard-moller/technische-berichte/

None
Dang, B.

Seite melden

Ehemalige Mitarbeiter/innen

https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/

Chi Tai Dang Simon Flutura Dr.

Seite melden

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.

Seite melden

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

Seite melden

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

Seite melden

Publikationen

https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/andre/publikationen/

Chi Tai Dang Simon Flutura Dr.

Seite melden

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

Seite melden

Team

https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/team/

None
Han Hing Dang Dipl.-Inf. Thorsten Ehm Dipl.-Inf. Roland Glück Dr.

Seite melden

Prof. Dr. Ulhaas

https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/ulhaas/

Chi Tai Dang Simon Flutura Dr.

Seite melden

Stanislava Rangelova

https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/rangelova/

Chi Tai Dang Simon Flutura Dr.

Seite melden