Not registered as user yet

Name:Fernando Rosa-Velardo
Affiliation:Universidad Complutense de Madrid

Contributions

ESOP 2015 Author of Analysis of Asynchronous Programs with Event-Based Synchronization within the ESOP-track