logo
ArticlesAbout
Register | Login
Research Article
JUCS - Journal of Universal Computer Science 6(12): 1203-1225
https://doi.org/10.3217/jucs-006-12-1203 (28 Dec 2000)
Other versions:
XML
PDF
 
 
Twitter
Facebook
Mendeley
Reddit
Notify a colleague
  • Article InfoArticle Info
  • CitationCitation
  • 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:
JUCS - Journal of Universal Computer Science 6(12)
Authors
Anthony Macdonald - 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
David Carrington
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.
Powered by

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK