@inproceedings{CRFB24,
  author       = { A. Esposito and A. Aldini and M. Bernardo  },
  title        = {Noninterference Analysis of Reversible Probabilistic Systems},
 booktitle    = { Proc. of the 44th Int. Conf. on Formal Techniques for Distributed Objects,
         Components, and Systems (FORTE 2024)},
  pages        = {39--59},
volume = {LNCS 14678},
month        = {June},
  year        = {2024},
address = {Groningen (The Netherlands)},
  publisher    = {Springer},
    url          = {https://doi.org/10.1007/978-3-031-62645-6\_3},
  doi          = {10.1007/978-3-031-62645-6\_3}

}

{"_id":"FSPmZRLbF4LkLrpQ7","bibbaseid":"esposito-aldini-bernardo-noninterferenceanalysisofreversibleprobabilisticsystems-2024","author_short":["Esposito, A.","Aldini, A.","Bernardo, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["A."],"propositions":[],"lastnames":["Esposito"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Aldini"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Bernardo"],"suffixes":[]}],"title":"Noninterference Analysis of Reversible Probabilistic Systems","booktitle":"Proc. of the 44th Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)","pages":"39–59","volume":"LNCS 14678","month":"June","year":"2024","address":"Groningen (The Netherlands)","publisher":"Springer","url":"https://doi.org/10.1007/978-3-031-62645-6\\_3","doi":"10.1007/978-3-031-62645-6_3","bibtex":"@inproceedings{CRFB24,\n author = { A. Esposito and A. Aldini and M. Bernardo },\n title = {Noninterference Analysis of Reversible Probabilistic Systems},\n booktitle = { Proc. of the 44th Int. Conf. on Formal Techniques for Distributed Objects,\n Components, and Systems (FORTE 2024)},\n pages = {39--59},\nvolume = {LNCS 14678},\nmonth = {June},\n year = {2024},\naddress = {Groningen (The Netherlands)},\n publisher = {Springer},\n url = {https://doi.org/10.1007/978-3-031-62645-6\\_3},\n doi = {10.1007/978-3-031-62645-6\\_3}\n\n}\n\n\n\n\n","author_short":["Esposito, A.","Aldini, A.","Bernardo, M."],"key":"CRFB24","id":"CRFB24","bibbaseid":"esposito-aldini-bernardo-noninterferenceanalysisofreversibleprobabilisticsystems-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-62645-6\\_3"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://rcr-group.github.io/file/biblio.bib","dataSources":["dvDgwv4efmr6Tw5FJ","sFPYuvJvmfSGv3tNR"],"keywords":[],"search_terms":["noninterference","analysis","reversible","probabilistic","systems","esposito","aldini","bernardo"],"title":"Noninterference Analysis of Reversible Probabilistic Systems","year":2024}