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