@article{
  author = {Sotudeh, G., Movaghar, A.},
  title = {Symbolic Verification of Temporal Fuzzy Logic Properties on Fuzzy Program Graph},
  journal = {Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran},
  year = {2017},
  volume = {15},
  number = {1},
  pages = {55-63},
  doi = {}
}