APA (7th ed.) Citation

Schneider, K. (2004). Verification of reactive systems: Formal methods and algorithms. Springer.

Chicago Style (17th ed.) Citation

Schneider, Klaus. Verification of Reactive Systems: Formal Methods and Algorithms. Berlin [u.a.]: Springer, 2004.

MLA (9th ed.) Citation

Schneider, Klaus. Verification of Reactive Systems: Formal Methods and Algorithms. Springer, 2004.

Warning: These citations may not always be 100% accurate.