Temporal Logic and State Systems

MLA

Kröger, Fred, et al. Temporal Logic and State Systems. Springer Berlin Heidelberg, 2008.

APA

Kröger, F., Brauer, W., Hromkovic, J., Merz, S., & Rozenberg, G. (2008). Temporal Logic and State Systems. Springer Berlin Heidelberg.

Chicago

Kröger, Fred, Wilfried Brauer, Juraj Hromkovic, Stephan Merz, and Grzegorz Rozenberg. Temporal Logic and State Systems. : Springer Berlin Heidelberg, 2008.