APA-Zitierstil (7. Ausg.)

Kröger, F., & Merz, S. (2008). Temporal logic and state systems. Springer.

Chicago-Zitierstil (17. Ausg.)

Kröger, Fred, und Stephan Merz. Temporal Logic and State Systems. Berlin [u.a.]: Springer, 2008.

MLA-Zitierstil (9. Ausg.)

Kröger, Fred, und Stephan Merz. Temporal Logic and State Systems. Springer, 2008.