Hans-Peter Deifel

Orcid ID:

0000-0002-9542-9664

List of publications:

BibTeX-Download


Graduiertenkolleg 2475/2 - Cyberkriminalität und Forensische Informatik Lehrstuhl für Informatik 8 (Theoretische Informatik) Technische Fakultät
2019: Best Theory Paper Award at FM 2019 3rd World Congress on Formal Methods, FM 2019 Hans-Peter Deifel, Stefan Milius, Lutz Schröder, …