2008
Formale Verifikation mittels Model Checking in Materialflusssystemen Masters Thesis
TU Dortmund, 2008.
Model Checking in multiagentengesteuerten Materialflusssystemen Proceedings Article
In: Buchholz, Peter (Ed.): Workshop ''Modellierung großer Netze in der Logistik`` in Measurement, Modelling and Evaluation of Computer and Communication Systems, 2008.