A comparison of two different model checking techniques - Bull, J. J. D (Stellenbosch : Stellenbosch University, 2012)
Thesis (MSc)--University of Stellenbosch, 2003.