Improvements in State Space Representaation and Model Checking Algorithms
dc.contributor.author | Geldenhuys J | |
dc.date.accessioned | 2012-08-10T22:09:58Z | |
dc.date.available | 2012-08-10T22:09:58Z | |
dc.date.issued | 2006 | |
dc.description | Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za | |
dc.description | Natuurwetenskappe | |
dc.description | Rekenaarwetenskap | |
dc.identifier.uri | http://hdl.handle.net/10019.1/44567 | |
dc.title | Improvements in State Space Representaation and Model Checking Algorithms | |
dc.type | Doctorate |