The following pages link to Silvia Lizeth Tapia Tarifa (Q1694446):
Displaying 6 items.
- (Q478390) (redirect page) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Locally abstract, globally concrete semantics of concurrent programming languages (Q1694447) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- Model Checking LTL Formulae in RAISE with FDR (Q3605469) (← links)
- Editorial (Q5970747) (← links)
