APA-Zitierstil (7. Ausg.)

Niebert, P. (1997). A temporal logic for the specification and verification of distributed behaviour.

Chicago-Zitierstil (17. Ausg.)

Niebert, Peter. A Temporal Logic for the Specification and Verification of Distributed Behaviour. 1997.

MLA-Zitierstil (9. Ausg.)

Niebert, Peter. A Temporal Logic for the Specification and Verification of Distributed Behaviour. 1997.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.