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.
Dein Suchergebnis zum Thema: danger
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
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
Dr. Ömer Sümer https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/suemer/
Chi Tai Dang Simon Flutura Dr.
Prof. Dr. Rehm https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/rehm/
Chi Tai Dang Simon Flutura Dr.
Dr. Johannes Wagner https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/wagner/
Chi Tai Dang Simon Flutura Dr.
Mohamed Benouis, PhD https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/benouis/
Chi Tai Dang Simon Flutura Dr.
Halbringe mit Domain https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/halbringe-mit-domain/
None
Peter Höfner , Han-Hing Dang Beteiligte WissenschaftlerInnen / Kooperationen: Prof
Dissertationen https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/veroffentlichungen/dissertationen/
None
Kießling 2014 Algebraic Calculi for Separation Logic Han-Hing Dang Dissertation
Dr. Pooja Prajod https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/prajod/
Chi Tai Dang Simon Flutura Dr.