|Journal||Electronic Proceedings in Theoretical Computer Science, EPTCS|
|Number of pages||14|
|Publication status||Published - 20 Jan 2020|
|Event||16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2019 - Prague, Czech Republic|
Duration: 7 Apr 2019 → …
|Conference||16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2019|
|Period||07/04/2019 → …|
Bibliographical noteFunding Information:
Acknowledgements. Mathias R. Pedersen was supported by the ASAP project (no. 4181-00360) funded by the Danish Council for Independent Research. Kim G. Larsen was supported by the ERC Advanced Grant LASSO (no. 867096).
© M.R. Pedersen, G. Bacci, & K.G. Larsen.
Copyright 2020 Elsevier B.V., All rights reserved.