conf.researchr.org / Fernando Rosa-Velardo
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 |