Skip to main content
Dr.Elham Mahmoudzadeh
Assistant Professor of Electrical & Computer
Promela model for pThread
The State diagram of the
process thread in Promela
Dr.Elham Mahmoudzadeh
تحت نظارت وف بومی
