فهرست مقالات Transition relation functions integer equations solverpolynomial integer equationsBDD دسترسی آزاد مقاله صفحه چکیده متن کامل 1 - يک مدل سطح بالا برای وارسی خواص CTL در طرح توصيف شده توسط VHDL بيژن عليزاده زین العابدین نوابی