Cita APA (7a ed.)

Baum, G. A., Frias, M. F., & Maibaum, T. (1999). A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.

Cita Chicago Style (17a ed.)

Baum, Gabriel Alfredo, Marcelo F. Frias, y Tom Maibaum. A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. 1999.

Cita MLA (8a ed.)

Baum, Gabriel Alfredo, et al. A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. 1999.