@article{1449486,
      recid = {1449486},
      author = {Ábrahám, Erika, and Paolieri, Marco,},
      title = {Quantitative evaluation of systems : 19th International  Conference, QEST 2022, Warsaw, Poland, September 12-16,  2022, Proceedings /. International Conference on the  Quantitative Evaluation of Systems},
      pages = {1 online resource (xvii, 399 pages) :},
      note = {Includes author index.},
      abstract = {This book constitutes the proceedings of the 19th  International Conference on Quantitative Evaluation  Systems, QEST 2022, held in Warsaw, Poland, in September  2022. The 19 full papers presented together with 1 keynote  paper were carefully reviewed and selected from 44  submissions. The papers are organized in the following  topics: program analysis; parameter synthesis; markovian  agents and population models; dynamical systems; tools;  applications and automata theory; and applications.},
      url = {http://library.usi.edu/record/1449486},
      doi = {https://doi.org/10.1007/978-3-031-16336-4},
}