Other versions:

(Verbatim name)

ID

(Catalog Number)

ORG

DES

Invalid DOI was provided, please try again

XML
PDF
 
 
Twitter
Facebook
Mendeley
Reddit
Notify a colleague
  • Article InfoArticle Info
  • CiteCite
  • MetricsMetrics
  • CommentComment
  • RelatedRelated
  • CitedCited
JUCS - Journal of Universal Computer Science 23(2): 129-145
doi: 10.3217/jucs-023-02-0129
Received: 09 Nov 2016 | Approved: 13 Feb 2017 | Published: 28 Feb 2017
This article is part of:
JUCS - Journal of Universal Computer Science 23(2)
Authors
Egon Börger - Corresponding author
http://www.di.unipi.it/~boerger
Articles by this author in:  CrossRef  |  Google Scholar
Klaus-Dieter Schewe
Software Competence Center Hagenberg and Johannes Kepler University Linz, Hagenberg, Austria
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