The following pages link to Emmanuel Paviot-Adet (Q2165222):
Displayed 5 items.
- LTL under reductions with weaker conditions than stutter invariance (Q2165225) (← links)
- Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets (Q2889613) (← links)
- (Q3045255) (← links)
- Optimized Colored Nets Unfolding (Q3613080) (← links)
- P-Semiflow Computation with Decision Diagrams (Q3636844) (← links)