%O Book 
%F bertrand:hal-01635134
%A Bertrand, N.
%A Bortolussi, L.
%T {Proceedings of the 14th International Conference on Quantitative Evaluation of Systems (QEST 2017), Berlin, Germany, September 5-7, 2017}
%C France
%D 2017