Steffen Knapp
发表
Manfred Broy,
Wolfgang J. Paul,
Maria Spichkova,
2008,
Formal Aspects of Computing.
Steffen Knapp,
Steffen Knapp,
2008
.
Wolfgang J. Paul,
Steffen Knapp,
W. Paul,
2006,
Program Analysis and Compilation.
Mark A. Hillebrand,
Sergey Tverdyshev,
Eyad Alkassar,
2007,
VERIFY.
Tobias Meuser,
Björn Richerzhagen,
Lars Häring,
2019,
VEHITS.
Ralf Steinmetz,
Florian Fischer,
Tobias Meuser,
2018,
SMARTGREENS/VEHITS.
Steffen Knapp,
Peter Bohm,
2008
.
Björn W. Schuller,
Ralf Steinmetz,
Alfred Höß,
2018,
2018 IEEE Vehicular Networking Conference (VNC).
Ralf Steinmetz,
Tobias Meuser,
Björn Richerzhagen,
2019,
VEHITS.
Mark A. Hillebrand,
Wolfgang J. Paul,
Thomas In der Rieden,
2005,
2005 International Conference on Computer Design.
Eyad Alkassar,
Steffen Knapp,
Peter Böhm,
2008,
DIPES.
Steffen Knapp,
Steffen Knapp,
2008,
Third International Conference on Systems (icons 2008).
Eyad Alkassar,
Steffen Knapp,
Peter Böhm,
2008,
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
Thomas In der Rieden,
Steffen Knapp,
Tom In der Rieden,
2005,
FMICS '05.
Steffen Knapp,
Ulrich Eberle,
Daniel Bischoff,
2021
.
Steffen Knapp,
Wolfgang Paul,
W. Paul,
2007
.