@article{
  author = {ستوده , غلامرضا, رحیم‌آبادی, علی موقر},
  title = {وارسی نمادین گزاره‌های منطق زمانی فازی روی گراف برنامه فازی},
  journal = {فصلنامه مهندسی برق و مهندسی کامپيوتر ايران},
  year = {2017},
  volume = {15},
  number = {1},
  pages = {55-63},
  doi = {}
}