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