ALBERTO
RUBIO GIMENO
Catedrático de universidad
MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
Publicacions en què col·labora amb MIGUEL GÓMEZ-ZAMALLOA GIL (3)
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118
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)