APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

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