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: