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.