The following pages link to (Q4518906):
Displaying 5 items.
- Monotonic extensions of Petri nets: forward and backward search revisited (Q2842877) (← links)
- A new approach to upward-closed set backward reachability analysis (Q2851062) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703797) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- Multi-weighted reachability games (Q6623017) (← links)