## Angelika Mader

*Modal μ-Calculus, Model Checking and Gauß Elimination*

TACAS, 1995.

@inproceedings{TACAS-1995-Mader, author = "Angelika Mader", booktitle = "{Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/3-540-60630-0_4", isbn = "3-540-60630-0", pages = "72--88", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Modal μ-Calculus, Model Checking and Gauß Elimination}", volume = 1019, year = 1995, }