Havsa, I. U. UTILISING BTTRACE VISUALISER AND LTL FORMULAE PATTERNS FOR ANALYSING COUNTEREXAMPLE. Jurnal Ilmu Komputer dan Informasi 2013, 6, 11-16.