%0 Journal Article
%A پیرا, عین الله
%T A New Heuristic for Deadlock Detection in Safety Analysis of Software Systems
%J Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
%V 20
%N 1
%P 73-79
%D 2022
%R 
%U https://rimag.ir/fa/Article/29179