The following pages link to Mathias Weske (Q766172):
Displayed 7 items.
- Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
- (Q2772440) (← links)
- (Q3225723) (← links)
- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition (Q3569862) (← links)
- A Look Around the Corner: The Pi-Calculus (Q3623819) (← links)
- (Q4317195) (← links)
- Behavioural Models (Q4608849) (← links)