Emerson, E. A.E. A.EmersonLei, C. L.C. L.Lei2009-04-272018-07-062009-04-272018-07-061986http://ntur.lib.ntu.edu.tw//handle/246246/153935en-USModel Checking in the Propositional Mu-Calculusreport