APA (7th ed.) Citation

Koymans, R. (1992). Specifying message passing and time-critical systems with temporal logic. Springer-Verlag.

Chicago Style (17th ed.) Citation

Koymans, R. Specifying Message Passing and Time-critical Systems with Temporal Logic. Berlin ; New York: Springer-Verlag, 1992.

MLA (8th ed.) Citation

Koymans, R. Specifying Message Passing and Time-critical Systems with Temporal Logic. Springer-Verlag, 1992.

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