- English
- فارسی
Promela model for do_event()
 |
 |
| Control flow abstraction of do_event() | Control flow abstraction of Promela model of do_event() |
|
|
| Control flow abstraction of do_event() | Control flow abstraction of Promela model of do_event() |