Penggayaan APA

Broy, Manfred., Jonsson, Bengt., Katoen, Joost-Pieter., Leucker, Martin., Pretschner, Alexander.. (2005). Model-Based Testing of Reactive Systems (1st ed.). Berlin: Springer.

Chicago Style

Broy, Manfred., Jonsson, Bengt., Katoen, Joost-Pieter., Leucker, Martin., Pretschner, Alexander.. Model-Based Testing of Reactive Systems. 1st ed. Berlin: Springer, 2005. E Book.

MLA Style

Broy, Manfred., Jonsson, Bengt., Katoen, Joost-Pieter., Leucker, Martin., Pretschner, Alexander.. Model-Based Testing of Reactive Systems. 1st ed. Berlin: Springer, 2005. E Book.

Turabian Style

Broy, Manfred., Jonsson, Bengt., Katoen, Joost-Pieter., Leucker, Martin., Pretschner, Alexander.. Model-Based Testing of Reactive Systems. 1st ed. Berlin: Springer, 2005. E Book.