SOUZA, Rafael; SANTOS, Marcelo; MELLO, Braulio; FERNANDES, Stênio. Um Modelo Formal de Propósito Geral para Simulações de Redes Definidas por Software. In: WORKSHOP PRÉ-IETF (WPIETF), 3. , 2016, Porto Alegre. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2016 . p. 2941-2952. ISSN 2595-6388. DOI: https://doi.org/10.5753/wpietf.2016.9739.