APA (7th ed.) Citation

Geilen, M. C. W. (2002). Formal techniques for verification of complex real-time systems ([1st ed.].). Technická univerzita.

Chicago Style (17th ed.) Citation

Geilen, Marc Constantijn Willem. Formal Techniques for Verification of Complex Real-time Systems. [1st ed.]. Eindhoven: Technická univerzita, 2002.

MLA (9th ed.) Citation

Geilen, Marc Constantijn Willem. Formal Techniques for Verification of Complex Real-time Systems. [1st ed.]. Technická univerzita, 2002.