![]() |
![]() |
Control flow abstraction of exit_process() | Control flow abstraction of Promela model of exit_process() |
Promela model for exit_process()
×
https://people.iut.ac.ir/en/mahmoudzadeh/promela-model-exitprocess?view=qrcode