×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [modelling verification]
Home >
modelling verification
Branching Processes of High-Level Petri Nets Victor Khomenko and Maciej Koutny University of Newcastle upon Tyne.
216 views
Branching Processes of High-Level Petri Nets and Model Checking of Mobile Systems Maciej Koutny School of Computing Science Newcastle University with:
214 views
Branching Processes of High-Level Petri Nets
43 views