## Colin Stirling, David Walker

*Local Model Checking in the Modal Mu-Calculus*

TAPSOFT, 1989.

@inproceedings{CAAP-1989-StirlingW, author = "Colin Stirling and David Walker", booktitle = "{Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}", doi = "10.1007/3-540-50939-9_144", isbn = "3-540-50939-9", pages = "369--383", publisher = "{Springer}", title = "{Local Model Checking in the Modal Mu-Calculus}", year = 1989, }