VANCOUVER
عليزاده,بيژن,نوابی,زین العابدین.
يک مدل سطح بالا برای وارسی خواص CTL در طرح توصيف شده توسط VHDL ‌
.فصلنامه مهندسی برق و مهندسی کامپيوتر ايران
, 2003
;2
(1)
:92-98.
