TY  - JOUR
AU  - پیرا, عین الله
TI  - A New Heuristic for Deadlock Detection in Safety Analysis of Software Systems
JO  - Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
VL  - 20
IS  - 1
SP  - 73
EP  - 79
PY  - 2022
DO  - 
ER  -