1. Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Bertrand, Nathalie; Bortolussi, Luca Other Names: International Conference on the Quantitative Evaluation of Systems, 14th Record Type: Book Extent: 1 online resource (xiii, 370 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗