Cita APA (7th ed.)

(1996). Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli.

Cita Chicago (17th ed.)

Formal Methods for Real-time Computing / Edited by Constance Heitmeyer and Dino Mandrioli. 1996.

Cita MLA (9th ed.)

Formal Methods for Real-time Computing / Edited by Constance Heitmeyer and Dino Mandrioli. 1996.