@article{1439062,
      note = {International conference proceedings.},
      author = {Abate, Alessandro, and Marin, Andrea,},
      url = {http://library.usi.edu/record/1439062},
      title = {Quantitative evaluation of systems : 18th international  conference, QEST 2021, Paris, France, August 23-27, 2021 :  proceedings /. International Conference on Quantitative  Evaluation of Systems},
      abstract = {This book constitutes the proceedings of the 18th  International Conference on Quantitative Evaluation  Systems, QEST 2021, held in Paris, France, in August 2021.  The 21 full papers and 2 short papers presented together  with 2 keynote papers were carefully reviewed and selected  from 47 submissions. The papers are organized in the  following topics: probabilistic model checking;  quantitative models and metamodels: analysis and  validation; queueing systems; learning and verification;  simulation; performance evaluation; abstractions and  aggregations; and stochastic models.},
      doi = {https://doi.org/10.1007/978-3-030-85172-9},
      recid = {1439062},
      pages = {1 online resource :},
}