APA Citation

Kröger, F., & Merz,Stephan. (2017). Temporal Logic and State Systems. Springer.

Chicago Style Citation

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

MLA Citation

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

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