List of Articles توابع انتقال حالتحلکننده معادلات صحيحمعادلات چندجملهای با متغيرهای صحيحBDD و Boolean Satisfiability Open Access Article Abstract Page Full-Text 1 - A New High Level Model to Check CTL Properties in VHDL Environment B. Alizadeh Z. Navabi