## Glynn Winskel

*A Note on Model Checking the Modal nu-Calculus*

ICALP, 1989.

@inproceedings{ICALP-1989-Winskel, author = "Glynn Winskel", booktitle = "{Proceedings of the 16th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/BFb0035797", isbn = "3-540-51371-X", pages = "761--772", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Note on Model Checking the Modal nu-Calculus}", volume = 372, year = 1989, }