Skip to Main content Skip to Navigation
Directions of work or proceedings

Proceedings of the 14th International Conference on Quantitative Evaluation of Systems (QEST 2017), Berlin, Germany, September 5-7, 2017

Nathalie Bertrand 1 Luca Bortolussi 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01635134
Contributor : Nathalie Bertrand <>
Submitted on : Tuesday, November 14, 2017 - 5:37:34 PM
Last modification on : Thursday, January 7, 2021 - 4:24:16 PM

Identifiers

  • HAL Id : hal-01635134, version 1

Citation

Nathalie Bertrand, Luca Bortolussi. Proceedings of the 14th International Conference on Quantitative Evaluation of Systems (QEST 2017), Berlin, Germany, September 5-7, 2017. Nathalie Bertrand; Luca Bortolussi. France. Springer, 2017. ⟨hal-01635134⟩

Share

Metrics

Record views

329