APA-Zitierstil (7. Ausg.)

Hailpern, B. T. (1982). Verifying concurrent processes using temporal logic. Springer.

Chicago-Zitierstil (17. Ausg.)

Hailpern, Brent T. Verifying Concurrent Processes Using Temporal Logic. Berlin [u.a.]: Springer, 1982.

MLA-Zitierstil (9. Ausg.)

Hailpern, Brent T. Verifying Concurrent Processes Using Temporal Logic. Springer, 1982.