Hailpern, B. T. (1982). Verifying concurrent processes using temporal logic. Springer. https://doi.org/10.1007/3-540-11205-7
Chicago-Zitierstil (17. Ausg.)Hailpern, Brent T. Verifying Concurrent Processes Using Temporal Logic. Berlin [u.a.]: Springer, 1982. https://doi.org/10.1007/3-540-11205-7.
MLA-Zitierstil (9. Ausg.)Hailpern, Brent T. Verifying Concurrent Processes Using Temporal Logic. Springer, 1982. https://doi.org/10.1007/3-540-11205-7.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.