APA (7th ed.) Citation

(1993). Formal techniques in real time and fault tolerant systems. Kluwer.

Chicago Style (17th ed.) Citation

Formal Techniques in Real Time and Fault Tolerant Systems. Boston u.a: Kluwer, 1993.

MLA (9th ed.) Citation

Formal Techniques in Real Time and Fault Tolerant Systems. Kluwer, 1993.

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