Rafael Souza, Marcelo Santos, Braulio Mello, and Stênio Fernandes. 2016. Um Modelo Formal de Propósito Geral para Simulações de Redes Definidas por Software. In Anais do III Workshop Pré-IETF, julho 04, 2016, Porto Alegre, Brasil. SBC, Porto Alegre, Brasil, 2941-2952. DOI: https://doi.org/10.5753/wpietf.2016.9739.