SUNScholar will be unavailable on 25 April 2018 from 08:00 to 10:00 South African Time for routine maintenance. Please contact scholar@sun.ac.za for queries.

Reducing the state explosion problem during model checking

Barnard, Dieter Cornelius (1991)

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

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/69386
This item appears in the following collections: