Cita APA

Gray, D. (1999). Introduction to the formal design of real-time systems. Springer.

Citación estilo Chicago

Gray, David. Introduction to the Formal Design of Real-time Systems. London ; New York: Springer, 1999.

Cita MLA

Gray, David. Introduction to the Formal Design of Real-time Systems. London ; New York: Springer, 1999.