Research Article
Other versions:
- Article InfoArticle Info
- CiteCite
- MetricsMetrics
- CommentComment
- RelatedRelated
- CitedCited
JUCS - Journal of Universal Computer Science 6(12): 1203-1225
doi:
10.3217/jucs-006-12-1203
Published:
28 Dec 2000
This article is part of:
Authors
Anthony Macdonald 
- Corresponding author
- Corresponding author
Department of Computer Science and Electrical Engineering, and Software Verification Research Centre, The University of Queensland, Brisbane, Australia
Articles by this author in:
CrossRef
|
Google Scholar
Department of Computer Science and Electrical Engineering, and Software Verification Research Centre, The University of Queensland, Brisbane, Australia
Articles by this author in:
CrossRef
|
Google Scholar
Conflict of interest
The authors have declared that no competing interests exist.
This article is freely available under the J.UCS Open Content License.