Havsa IU. UTILISING BTTRACE VISUALISER AND LTL FORMULAE PATTERNS FOR ANALYSING COUNTEREXAMPLE. Jurnal Ilmu Komputer dan Informasi [Internet]. 2013Oct.21 [cited 2024May1];6(1):11-6. Available from: https://jiki.cs.ui.ac.id/index.php/jiki/article/view/212