Pages that link to "Item:Q3617750"
From MaRDI portal
The following pages link to Hierarchical Set Decision Diagrams and Regular Models (Q3617750):
Displaying 9 items.
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166) (← links)
- Hierarchical sets in mathematical programming modeling languages (Q2366831) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- HDL constructs in linear word-level decision diagram based specification (Q2487681) (← links)
- Hierarchical Set Decision Diagrams and Automatic Saturation (Q3510869) (← links)
- Superset Generation on Decision Diagrams (Q5176594) (← links)
- Petri Net Reductions for Counting Markings (Q5883572) (← links)
- Automated polyhedral abstraction proving (Q6535199) (← links)
- On the complexity of proving polyhedral reductions (Q6622144) (← links)