The following pages link to Structural Reductions Revisited (Q5100759):
Displaying 9 items.
- Accelerating the computation of dead and concurrent places using reductions (Q832013) (← links)
- Struction revisited (Q1414580) (← links)
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166) (← links)
- Discovering stochastic process models by reduction and abstraction (Q2117180) (← links)
- LTL under reductions with weaker conditions than stutter invariance (Q2165225) (← links)
- The Reduceron reconfigured and re-evaluated (Q3165526) (← links)
- (Q4218419) (← links)
- Symbolic and Structural Model-Checking (Q5025068) (← links)
- Property directed reachability for generalized Petri nets (Q6535575) (← links)