M. Aderhold
发表
M. Aderhold,
James Slack,
2022
.
Christoph Walther,
M. Aderhold,
Andreas Schlosser,
2006
.
Heiko Mantel,
Markus Aderhold,
Jorge Cuéllar,
2010
.
Heiko Mantel,
Markus Aderhold,
Alexander Gebhardt,
2013
.
Markus Aderhold,
M. Aderhold,
2007,
CADE.
Markus Aderhold,
M. Aderhold,
2010,
IJCAR.
Markus Aderhold,
M. Aderhold,
2010,
Verification, Induction, Termination Analysis.
Christoph Walther,
M. Aderhold,
Andreas Schlosser,
2006
.
Christoph Walther,
Markus Aderhold,
Andreas Schlosser,
2006
.
Markus Aderhold,
Artjom Kochtchi,
M. Aderhold,
2013
.