Orna Grumberg, Tamir Heyman, Assaf Schuster. Distributed Symbolic Model Checking for µ-Calculus. Formal Methods in System Design, 26(2):197-219, 2005. [doi]
@article{GrumbergHS05, title = {Distributed Symbolic Model Checking for µ-Calculus}, author = {Orna Grumberg and Tamir Heyman and Assaf Schuster}, year = {2005}, doi = {10.1007/s10703-005-1493-1}, url = {http://dx.doi.org/10.1007/s10703-005-1493-1}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/GrumbergHS05}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {26}, number = {2}, pages = {197-219}, }