Pages that link to "Item:Q2464945"
From MaRDI portal
The following pages link to Component refinement and CSC-solving for STG decomposition (Q2464945):
Displaying 5 items.
- Projection approaches to process mining using region-based techniques (Q408692) (← links)
- STG decomposition strategies in combination with unfolding (Q1031867) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- Richer interface automata with optimistic and pessimistic compatibility (Q2350491) (← links)
- Foundations of Software Science and Computational Structures (Q5705893) (← links)