Havsa, Irene Ully. “UTILISING BTTRACE VISUALISER AND LTL FORMULAE PATTERNS FOR ANALYSING COUNTEREXAMPLE”. Jurnal Ilmu Komputer dan Informasi 6, no. 1 (October 21, 2013): 11-16. Accessed May 2, 2024. https://jiki.cs.ui.ac.id/index.php/jiki/article/view/212.