Access Repository

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

Reducing the state explosion problem during model checking

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

Saved in:

Bibliographic Details
Main Author:	Barnard, Dieter Cornelius
Other Authors:	De Villiers, P. J. A.
Format:	Thesis
Language:	en_ZA
Published:	Stellenbosch : Stellenbosch University 2012
Subjects:	Computer programs > Verification Programming languages (Electronic computers) Petri nets Interactive computer systems Dissertations > Computer science UCTD
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

http://hdl.handle.net/10019.1/69386