Statistics
Publications
6
Citations
213
H-Index
6
Active since
2002
Affiliations
Carsten Tepper is an author at TU Dortmund University specializing in system simulation, simulation modeling, and computing.
Publications per year
2002–2008
6
6
Model-checking large structured Markov chains
Peter Buchholz, Joost-Pieter Katoen, Peter Kemper et al. · The Journal of Logic and Algebraic Programming · 2003 · 54 citations · Full text
Trace based analysis of process interaction models
Peter Kemper, Carsten Tepper · 2005 · 17 citations
1–5 of 6