APA (7th ed.) Citation

Bradfield, J. C. (1992). Verifying temporal properties of systems. Birkhäuser.

Chicago Style (17th ed.) Citation

Bradfield, Julian C. Verifying Temporal Properties of Systems. Boston ; Berlin <<[u.a.]>>: Birkhäuser, 1992.

MLA (9th ed.) Citation

Bradfield, Julian C. Verifying Temporal Properties of Systems. Birkhäuser, 1992.