E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov. Model Checking mu-Calculus in Well-Structured Transition Systems. In 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France. pages 152-155, IEEE Computer Society, 2004. [doi]
Abstract is missing.