فهرست مقالات BDD دسترسی آزاد مقاله صفحه چکیده متن کامل 1 - Design, Implementation and Evaluation of Multi-terminal Binary Decision Diagram based Binary Fuzzy Relations Hamid Alavi Toussi Bahram Sadeghi Bigham 10.7508/jist.2016.02.007 دسترسی آزاد مقاله صفحه چکیده متن کامل 2 - يک مدل سطح بالا برای وارسی خواص CTL در طرح توصيف شده توسط VHDL بيژن عليزاده زین العابدین نوابی