Broy, M., Jonsson, B., Katoen, J. P., Leucker, M. &
Pretschner, A.,
2005,
Model-Based Testing of Reactive Systems: Advanced Lectures. Broy, M., Leucker, M., Jonsson, B., Katoen, J.-P. & Pretschner, A. (Hrsg.).
S. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3472 LNCS).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Vorwort/Nachwort