Access Repository

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

An LTL verification system based on automata theory

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

Saved in:

Bibliographic Details
Main Authors:	Inggs, Cornelia Petronella, Van Wyk, Cornelia
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) Model checking Dissertations > Computer science
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

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