@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},
   url_Paper    = {./EAB24.pdf},
address = {Groningen (The Netherlands)},
  publisher    = {Springer},

}

{"_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","url_paper":"./EAB24.pdf","address":"Groningen (The Netherlands)","publisher":"Springer","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},\n url_Paper = {./EAB24.pdf},\naddress = {Groningen (The Netherlands)},\n publisher = {Springer},\n\n}\n\n\n","author_short":["Esposito, A.","Aldini, A.","Bernardo, M."],"key":"CRFB24-1","id":"CRFB24-1","bibbaseid":"esposito-aldini-bernardo-noninterferenceanalysisofreversibleprobabilisticsystems-2024","role":"author","urls":{" paper":"http://www.sti.uniurb.it/nirvana/file/papers/EAB24.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.sti.uniurb.it/nirvana/file/papers/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}