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