Emerson, E. A.E. A.EmersonLei, C. L.C. L.Lei2009-04-272018-07-062009-04-272018-07-061984http://ntur.lib.ntu.edu.tw//handle/246246/153933en-USModel Checking under Generalized Fairness Constraintxreport