The following pages link to (Q4417602):
Displaying 7 items.
- STG decomposition strategies in combination with unfolding (Q1031867) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Component refinement and CSC-solving for STG decomposition (Q2464945) (← links)
- (Q4168877) (← links)
- (Q4787328) (← links)
- Foundations of Software Science and Computational Structures (Q5705893) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713512) (← links)