FERNANDO
ROSA VELARDO
Profesor titular de universidad
Pierre
Ganty
Publicaciones en las que colabora con Pierre Ganty (1)
2015
-
Analysis of asynchronous programs with event-based synchronization
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9032, pp. 535-559