Instituto de Tecnología del Conocimiento (ITC)
Zentrum/Institut
Royal Holloway University of London
Egham, Reino UnidoPublikationen in Zusammenarbeit mit Forschern von 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