Searching for "Verifying Workflows with Cancellation Regions and OR-Joins An Approach Based on Reset Nets and Reachability Analysis." – sorted by Relevance.
-
Verifying workflows with Cancellation Regions and OR-joins: An Approach Based on Reset nets
- Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets
- Cited by 3 (2 self) – Add To MetaCart

