## Rance Cleaveland, Bernhard Steffen

*A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal μ-Calculus*

CAV, 1991.

@inproceedings{CAV-1991-CleavelandS, author = "Rance Cleaveland and Bernhard Steffen", booktitle = "{Proceedings of the Third International Workshop on Computer Aided Verification}", doi = "10.1007/3-540-55179-4_6", isbn = "3-540-55179-4", pages = "48--58", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal μ-Calculus}", volume = 575, year = 1991, }