Fuchs, A., 		Machado, R., & 		Ribeiro, L.
(2021).
 Vizualization and Extension of a Model Checker for the Verigraph-GUI tool.
In <em>Proceedings of the VI Workshop-School of Theoretical Computer Science</em>, (pp. 156-162). Porto Alegre: SBC.
doi:10.5753/weit.2021.18936