1Clarke E M,Grumberg O,Peled A D.Model Checking.MIT Press 1999.171~184.
2Bruns G,Godefroid P.Model Checking Partial State Spaces with-valued Temporal Logics.In:Proc.Of the 11thConf.On Computer Aid Verification,of Lecture Notes in Computer Science,Springer Verlag,July 1999,1633:274~287.
3Kleene S C.Introduction to Metamathematics.North Holland,1987.
4Huth M,Jagadeesan R,Schmidt D.Modal transition systems:a foundation for three-valued program analysis.In:Sands D,ed.Proc.of the European Symposium on Programming (ESOP '2001),Springer Verlag,April 2001.155~169.
5Gdoerfroid P,Jagadeesan R.On the expressiveness of 3-Valued Models.VMCAI2003,LNCS 2575,2003.206~222.