Model-Based Testing of Reactive Systems

MLA

Hutchison, David, et al. Model-based Testing of Reactive Systems. Springer Berlin / Heidelberg, 2005.

APA

Hutchison, D., Broy, M., Kanade, T., Jonsson, B., Katoen, J., Leucker, M., & Pretschner, A. (2005). Model-Based Testing of Reactive Systems. Springer Berlin / Heidelberg.

Chicago

Hutchison, David, M Broy, Takeo Kanade, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner. Model-Based Testing of Reactive Systems. : Springer Berlin / Heidelberg, 2005.