پیرا, عین الله. A New Heuristic for Deadlock Detection in Safety Analysis of Software Systems. Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran. 2022;20(1):73-79. doi: