@Inproceedings{EPTCS77.6, author = {Lange, Martin and Lozes, Etienne}, year = {2012}, title = {Model-Checking the Higher-Dimensional Modal mu-Calculus}, editor = {Miller, Dale and \'Esik, Zolt\'an}, booktitle = {{\rm Proceedings 8th Workshop on} Fixed Points in Computer Science, {\rm Tallinn, Estonia, 24th March 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {77}, publisher = {Open Publishing Association}, pages = {39-46}, doi = {10.4204/EPTCS.77.6}, }