@article{DBLP:journals/lmcs/BartolettiMZ23,
  author       = {Massimo Bartoletti and
                  Maurizio Murgia and
                  Roberto Zunino},
  title        = {Sound approximate and asymptotic probabilistic bisimulations for {PCTL}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {19},
  number       = {1},
  year         = {2023},
  url          = {https://doi.org/10.46298/lmcs-19(1:22)2023},
  doi          = {10.46298/LMCS-19(1:22)2023},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BartolettiMZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"F9K4p3zv8N4Aok2gN","bibbaseid":"bartoletti-murgia-zunino-soundapproximateandasymptoticprobabilisticbisimulationsforpctl-2023","author_short":["Bartoletti, M.","Murgia, M.","Zunino, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Murgia"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Zunino"],"suffixes":[]}],"title":"Sound approximate and asymptotic probabilistic bisimulations for PCTL","journal":"Log. Methods Comput. Sci.","volume":"19","number":"1","year":"2023","url":"https://doi.org/10.46298/lmcs-19(1:22)2023","doi":"10.46298/LMCS-19(1:22)2023","timestamp":"Mon, 26 Jun 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/lmcs/BartolettiMZ23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/lmcs/BartolettiMZ23,\n author = {Massimo Bartoletti and\n Maurizio Murgia and\n Roberto Zunino},\n title = {Sound approximate and asymptotic probabilistic bisimulations for {PCTL}},\n journal = {Log. Methods Comput. Sci.},\n volume = {19},\n number = {1},\n year = {2023},\n url = {https://doi.org/10.46298/lmcs-19(1:22)2023},\n doi = {10.46298/LMCS-19(1:22)2023},\n timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/lmcs/BartolettiMZ23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n","author_short":["Bartoletti, M.","Murgia, M.","Zunino, R."],"key":"DBLP:journals/lmcs/BartolettiMZ23","id":"DBLP:journals/lmcs/BartolettiMZ23","bibbaseid":"bartoletti-murgia-zunino-soundapproximateandasymptoticprobabilisticbisimulationsforpctl-2023","role":"author","urls":{"Paper":"https://doi.org/10.46298/lmcs-19(1:22)2023"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","dataSources":["PCdRvyaDZRZMeqKhf"],"keywords":[],"search_terms":["sound","approximate","asymptotic","probabilistic","bisimulations","pctl","bartoletti","murgia","zunino"],"title":"Sound approximate and asymptotic probabilistic bisimulations for PCTL","year":2023}