default search action
"Connectivity of workflow nets: the foundations of stepwise verification."
Artem Polyvyanyy, Matthias Weidlich, Mathias Weske (2011)
- Artem Polyvyanyy, Matthias Weidlich, Mathias Weske:
Connectivity of workflow nets: the foundations of stepwise verification. Acta Informatica 48(4): 213-242 (2011)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.