MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
![Foto de MIGUEL](/img/nophoto.png)
![Foto de Universitat Politècnica de Catalunya](/img/noimage_org.png)
Universitat Politècnica de Catalunya
Barcelona, EspañaPublications en collaboration avec des chercheurs de Universitat Politècnica de Catalunya (2)
2018
-
Constrained dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
SDN-Actors: Modeling and verification of SDN programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)