E. V. Kouzmin Papers on DiSC'04 Model Checking µ-Calculus in Well-Structured Transition Systems Model Checking µ-Calculus in Well-Structured Transition Systems Model Checking µ-Calculus in Well-Structured Transition Systems Publications Note: Links lead to the DBLP on the Web. E. V. Kouzmin E. V. Kouzmin, Nikolay V. Shilov , Valery A. Sokolov : Model Checking mu-Calculus in Well-Structured Transition Systems. TIME 2004 : 152-155 1 [ 1 ] 2 [ 1 ] ©2005 Association for Computing Machinery