Original language | English |
---|---|
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 312 |
Pages (from-to) | 29-42 |
Number of pages | 14 |
ISSN | 2075-2180 |
DOIs | |
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
Conference | 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2019 |
---|---|
Country | Czech Republic |
City | Prague |
Period | 07/04/2019 → … |
Bibliographical note
Funding 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).
Publisher Copyright:
© M.R. Pedersen, G. Bacci, & K.G. Larsen.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.