%0 Journal Article
%A Alizadeh, B., Navabi, Z.
%T A New High Level Model to Check CTL Properties in VHDL Environment
%J Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
%V 1
%N 2
%P 92-98
%D 2003
%R 
%U https://rimag.ir/fa/Article/27822