@article{
  author = {پیرا, عین الله},
  title = {A New Heuristic for Deadlock Detection in Safety Analysis of Software Systems},
  journal = {Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran},
  year = {2022},
  volume = {20},
  number = {1},
  pages = {73-79},
  doi = {}
}