TY - BOOK AU - Marco Gribaudo, David N. Jansen, Anne Remke. TI - Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings SN - 9783030598549 PY - 2020/// CY - Cham PB - Springer KW - Computers. Software engineering. Artificial intelligence. Mathematical statistics. Computer communication systems. Computer science-Mathematics. Theory of Computation. Software Engineering/Programming and Operating Systems. Artificial Intelligence. Probability and Statistics in Computer Science. Computer Communication Networks. Mathematics of Computing UR - https://doi.org/10.1007/978-3-030-59854-9 ER -