Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review
Publication date | 5/09/2017 |
---|---|
Host publication | Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017 |
Editors | Nathalie Bertrand, Luca Bortolussi |
Place of Publication | Cham |
Publisher | Springer |
Pages | 224–239 |
Number of pages | 16 |
ISBN (Electronic) | 9783319663357 |
ISBN (Print) | 9783319663340 |
<mark>Original language</mark> | English |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 10503 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |