Carsten Tepper
发表
Peter Kemper,
Markus Arns,
M. Fischer,
2002,
J. Oper. Res. Soc..
Peter Kemper,
Carsten Tepper,
2005,
SimVis.
Carsten Tepper,
Markus Arns,
M. Fischer,
2004
.
Carsten Tepper,
Volker Kemper,
C. Tepper,
2006
.
Markus Fischer,
Markus Völker,
Carsten Tepper,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Peter Kemper,
Carsten Tepper,
P. Kemper,
2006,
Simulation and Verification of Dynamic Systems.
Peter Buchholz,
Falko Bause,
Carsten Tepper,
2004,
ISoLA.
Peter Kemper,
Carsten Tepper,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Peter Kemper,
Carsten Tepper,
P. Kemper,
2009,
IEEE Transactions on Software Engineering.
Peter Buchholz,
Carsten Tepper,
2004,
OR.
Peter Kemper,
Carsten Tepper,
2005,
Proceedings of the Winter Simulation Conference, 2005..
Carsten Tepper,
2004
.
Peter Kemper,
Carsten Tepper,
2007
.
Joost-Pieter Katoen,
Peter Buchholz,
Peter Kemper,
2003,
J. Log. Algebraic Methods Program..
Peter Kemper,
Carsten Tepper,
P. Kemper,
2007,
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).