Improvements in State Space Representaation and Model Checking Algorithms
Date
2006
Authors
Geldenhuys J
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za
Natuurwetenskappe
Rekenaarwetenskap
Natuurwetenskappe
Rekenaarwetenskap