Royal Holloway University of London-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2021

  1. Actor-based model checking for Software-Defined Networks

    Journal of Logical and Algebraic Methods in Programming, Vol. 118