Hans-Peter Deifel
发表
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2018,
ArXiv.
Felix C. Freiling,
Stefan Milius,
Hans-Peter Deifel,
2020
.
Stefan Milius,
Christian Dietrich,
Daniel Lohmann,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Lutz Schröder,
Daniel Hausmann,
Hans-Peter Deifel,
2018,
TACAS.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2020,
Formal Aspects of Computing.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2018,
FM.
Stefan Milius,
Hans-Peter Deifel,
Thorsten Wissmann,
2021,
FSCD.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2021,
Formal Aspects Comput..