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.