CARRERO, Marcos; 						ZAMPRONI, Katriny; 						MUSICANTE, Martin A.; 						SANTOS, Aldri; 						HARA, Carmem.
Uma Máquina de Estados para Especificação de Códigos de Simulação para Redes de Sensores sem Fio Urbanas. <em>In</em>:  SIMPÓSIO BRASILEIRO DE COMPUTAÇÃO UBÍQUA E PERVASIVA (SBCUP), 10.	, 2018, Natal.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2018
.
 
			ISSN 2595-6183. 
		DOI: <a href="https://doi.org/10.5753/sbcup.2018.3284">https://doi.org/10.5753/sbcup.2018.3284</a>.