Budde, C. E., Ruijters, E. & Stoelinga, M., 31 Aug 2020, (E-pub ahead of print/First online) Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings. Gribaudo, M., Jansen, D. N. & Remke, A. (eds.). Cham: Springer, p. 233-2386 p. (Lecture Notes in Computer Science; vol. 12289)(Theoretical Computer Science and General Issues).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review