Efficiency issues in the design of a model checker

Geldenhuys, Jaco(Jacobus) (1999)

Thesis (M.Sc.) -- University of Stellenbosch, 1999.

Full text to be digitised and attached to bibliographic record.

Thesis

Please refer to this item in SUNScholar by using the following persistent URL: http://hdl.handle.net/10019.1/51253
This item appears in the following collections: