Promela model for pThread

The State diagram of the process thread in Promela

×

https://people.iut.ac.ir/en/mahmoudzadeh/promela-model-pthread?view=qrcode

Share QR Code:

SMS feature will work only on mobile devices.

Provided by Information Technology Manager of Isfahan University of Technology (https://it.iut.ac.ir)