TY  - JOUR
AU  - Sotudeh, G.
AU  - Movaghar, A.
TI  - Symbolic Verification of Temporal Fuzzy Logic Properties on Fuzzy Program Graph
JO  - Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
VL  - 15
IS  - 1
SP  - 55
EP  - 63
PY  - 2017
DO  - 
ER  -