The following pages link to Eric Steegmans (Q678824):
Displayed 9 items.
- Proving semantical equivalence of data specifications (Q678825) (← links)
- A decision procedure for semantical equivalence of thin FM specifications (Q1818643) (← links)
- Language Support for Service Interactions in Service-Oriented Architecture (Q3058777) (← links)
- (Q3947093) (← links)
- (Q4000519) (← links)
- (Q4435860) (← links)
- (Q4474855) (← links)
- (Q4709060) (← links)
- (Q4888795) (← links)