SpringerLink (Online service), Pretschner, A., Leucker, M., Katoen, J., Jonsson, B., & Broy, M. (2005). Model-based testing of reactive systems: Advanced lectures. Springer-Verlag GmbH..
Chicago Style (17th ed.) CitationSpringerLink (Online service), Alexander Pretschner, Martin Leucker, Joost-Pieter Katoen, Bengt Jonsson, and Manfred Broy. Model-based Testing of Reactive Systems: Advanced Lectures. Berlin Heidelberg: Springer-Verlag GmbH., 2005.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Model-based Testing of Reactive Systems: Advanced Lectures. Springer-Verlag GmbH., 2005.
Warning: These citations may not always be 100% accurate.