HAVSA, Irene Ully. UTILISING BTTRACE VISUALISER AND LTL FORMULAE PATTERNS FOR ANALYSING COUNTEREXAMPLE. Jurnal Ilmu Komputer dan Informasi, [S. l.], v. 6, n. 1, p. 11–16, 2013. DOI: 10.21609/jiki.v6i1.212. Disponível em: https://jiki.cs.ui.ac.id/index.php/jiki/article/view/212. Acesso em: 15 apr. 2025.