TY  - JOUR
AU  - Alizadeh, B.
AU  - Navabi, Z.
TI  - A New High Level Model to Check CTL Properties in VHDL Environment
JO  - Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
VL  - 1
IS  - 2
SP  - 92
EP  - 98
PY  - 2003
DO  - 
ER  -