2026-06-28T15:31:25Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/984272025-03-18T14:42:13Zcom_20.500.14352_14col_20.500.14352_15

https://hdl.handle.net/20.500.14352/98427/ore.xml 2024-02-02T16:09:56Z 2024-02-02T16:09:56Z Docta Complutense SDN-Actors: Modeling and Verification of SDN Programs Albert Albiol, Elvira María Rubio, Albert Sammartino, Matteo Silva, Alexandra Gómez-Zamalloa Gil, Miguel 2024-02-02T16:09:56Z TEXT ORIGINAL LICENSE THUMBNAIL THUMBNAIL