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 metadatas

https://hal.inria.fr/hal-01635134
Contributor : Nathalie Bertrand <>
Submitted on : Tuesday, November 14, 2017 - 5:37:34 PM
Last modification on : Friday, September 13, 2019 - 9:48:42 AM

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

304