MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
![Foto de MIGUEL](/img/nophoto.png)
![Foto de Royal Holloway University of London](/img/noimage_org.png)
Royal Holloway University of London
Egham, Reino UnidoPublicacions en col·laboració amb investigadors/es de Royal Holloway University of London (1)
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118