APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.