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
close-button

Categories

Honour Awards
Academy memberships
Scholarships/Grants
Other Awards

Award year

From
To
2019: Best Theory Paper Award at FM 2019 3rd World Congress on Formal Methods, FM 2019 Hans-Peter Deifel, Stefan Milius, Lutz Schröder, …