Improving Communication for Distributed Model Checking

Date
2012
Authors
Fourie J
Geldenhuys J
Inggs CP
Journal Title
Journal ISSN
Volume Title
Publisher
ACM Publishers, NY USA
Abstract
Description
Natuurwetenskappe
Rekenaarwetenskap
Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za
Keywords
Citation
URI
http://hdl.handle.net/10019.1/84793
Collections
2012 - Research Outputs