Erschienen:
Konstanz: Bibliothek der Universität Konstanz, 2011
Umfang:
Online-Ressource
Sprache:
Englisch
Identifikator:
Entstehung:
Anmerkungen:
First publ. in: Proceedings 9th Workshop on Quantitative Aspects of Programming Languages (QAPL'11), Saarbrücken, Germany, 1-3 April 2011 / Massink, Mieke ... (Eds.). Open Publishing Association, 2011, pp. 16-30 (Electronic Proceedings in Theoretical Computer Science ; 57)