APA-Zitierstil (7. Ausg.)

Steffen, B., Margaria, T., & Claßen, A. (1995). Heterogeneous analysis and verification for distributed systems.

Chicago-Zitierstil (17. Ausg.)

Steffen, Bernhard, Tiziana Margaria, und Andreas Claßen. Heterogeneous Analysis and Verification for Distributed Systems. Passau, 1995.

MLA-Zitierstil (9. Ausg.)

Steffen, Bernhard, et al. Heterogeneous Analysis and Verification for Distributed Systems. 1995.