PARIZOTTO, Ricardo; 						DE MELLO, Braulio Adriano.
 Uma abordagem para minimizar pontos de verificação inúteis em simulações otimistas distribuídas. <em>In</em>: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE (SEMISH), 46.	, 2019, Belém.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2019
.
 p. 12-21. 
			ISSN 2595-6205. 
		DOI: <a href="https://doi.org/10.5753/semish.2019.6563">https://doi.org/10.5753/semish.2019.6563</a>.