The following pages link to Marcello La Rosa (Q903486):
Displaying 5 items.
- Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
- Preserving correctness during business process model configuration (Q973035) (← links)
- Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory (Q5025067) (← links)
- Automated Repair of Process Models Using Non-local Constraints (Q5100758) (← links)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766) (← links)
