MIGUEL
ISABEL MÁRQUEZ
Profesor ayudante doctor
![Foto de MIGUEL](/img/nophoto.png)
![Foto de University College London](/img/noimage_org.png)
University College London
Londres, Reino UnidoPublications in collaboration with researchers from University College London (1)
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118