Improvements in State Space Representaation and Model Checking Algorithms

Simple item page
dc.contributor.authorGeldenhuys J
dc.date.accessioned2012-08-10T22:09:58Z
dc.date.available2012-08-10T22:09:58Z
dc.date.issued2006
dc.descriptionPlease help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za
dc.descriptionNatuurwetenskappe
dc.descriptionRekenaarwetenskap
dc.identifier.urihttp://hdl.handle.net/10019.1/44567
dc.titleImprovements in State Space Representaation and Model Checking Algorithms
dc.typeDoctorate
Files
Collections
Batch 1 - Theses and Dissertations