APA-Zitierstil (7. Ausg.)

Barnard, D., & Mader, A. (1993). Model checking for the modal mu-calculus using Gauß elimination.

Chicago-Zitierstil (17. Ausg.)

Barnard, Dieter, und Angelika Mader. Model Checking for the Modal Mu-calculus Using Gauß Elimination. München, 1993.

MLA-Zitierstil (9. Ausg.)

Barnard, Dieter, und Angelika Mader. Model Checking for the Modal Mu-calculus Using Gauß Elimination. 1993.

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