Pages that link to "Item:Q2892732"
From MaRDI portal
The following pages link to Trace Spaces: An Efficient New Technique for State-Space Reduction (Q2892732):
Displaying 5 items.
- A geometric view of partial order reduction (Q265807) (← links)
- Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- Iterated chromatic subdivisions are collapsible (Q891921) (← links)
- Cut-off theorems for the \textit{PV}-model (Q6108429) (← links)
