FN ISI Export Format
VR 1.0
PT C
AU عین الله پیرا
TI A New Heuristic for Deadlock Detection in Safety Analysis of Software Systems
PY 2022
