16 results on '"OFFTERMATT, PHILIP"'
Search Results
2. Verifying generalised and structural soundness of workflow nets via relaxations
3. The complexity of soundness in workflow nets
4. Fast Termination and Workflow Nets
5. Continuous One-Counter Automata
6. Directed Reachability for Infinite-State Systems
7. Computing the Expected Execution Time of Probabilistic Workflow Nets
8. Directed Reachability for Infinite-State Systems
9. Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
10. Computing the Expected Execution Time of Probabilistic Workflow Nets
11. Directed Reachability for Infinite-State Systems
12. Computing the Expected Execution Time of Probabilistic Workflow Nets
13. Continuous One-counter Automata
14. The complexity of soundness in workflow nets
15. Continuous One-Counter Automata
16. Directed Reachability for Infinite-State Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.