Hajjar، A. F. A.، و Chen، T. W. (2001). BAYESIAN BASED STOPPING RULES FOR BEHAVIORAL VHDL VERIFICATION (رسالة دكتوراه غير منشورة). Colorado State University، فورت كولنز. مسترجع من http://search.mandumah.com/Record/613519
Hajjar، Amjad Fuad A.، و Tom W. Chen. "BAYESIAN BASED STOPPING RULES FOR BEHAVIORAL VHDL VERIFICATION" رسالة دكتوراه. Colorado State University، فورت كولنز، 2001. مسترجع من http://search.mandumah.com/Record/613519