%0 Journal Article
%A Sotudeh, G., Movaghar, A.
%T Symbolic Verification of Temporal Fuzzy Logic Properties on Fuzzy Program Graph
%J Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
%V 15
%N 1
%P 55-63
%D 2017
%R 
%U https://rimag.ir/fa/Article/28237