3KruglinskiDJ WingoS ShepherdG 希望图书创作室 译.Programming Microsoft Visual C++6.0技术内幕[M].北京:北京希望电子出版社,1999.509-524.
4Rachel Tzoref, Mark Matusevich ,Eli Berger, Ilan Beer. An optimized symbolic bounded model checking engine[J], Lecture Notes in Computer Science,2003,2860:141-149
5Dirk Stoeβel , Marc Hanheide , Gerhard Sagerer , Lars Krüger , Marc Ellenrieder.Feature and viewpoint selection for industrial car assembly[J]. Lecture Notes in Computer Science,2004,3175:528-535.
