@misc{DBLP:data/10/StefanoNI21,
  author       = {Luca Di Stefano and
                  Rocco De Nicola and
                  Omar Inverso},
  title        = {Replication Package for the paper: Verification of Distributed Systems
                  via Sequential Emulation (Version 1.0)},
  publisher    = {Zenodo},
  year         = {2021},
  month        = sep,
  howpublished = {\url{https://doi.org/10.5281/zenodo.5348289}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.5281/zenodo.5348289},
  doi          = {10.5281/ZENODO.5348289},
  timestamp    = {Wed, 02 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/data/10/StefanoNI21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"T9CJwGA53aWGsPxLe","bibbaseid":"stefano-nicola-inverso-replicationpackageforthepaperverificationofdistributedsystemsviasequentialemulationversion10-2021","author_short":["Stefano, L. D.","Nicola, R. D.","Inverso, O."],"bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Luca","Di"],"propositions":[],"lastnames":["Stefano"],"suffixes":[]},{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Omar"],"propositions":[],"lastnames":["Inverso"],"suffixes":[]}],"title":"Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation (Version 1.0)","publisher":"Zenodo","year":"2021","month":"September","howpublished":"˘rlhttps://doi.org/10.5281/zenodo.5348289","note":"Accessed on YYYY-MM-DD.","url":"https://doi.org/10.5281/zenodo.5348289","doi":"10.5281/ZENODO.5348289","timestamp":"Wed, 02 Oct 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/data/10/StefanoNI21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@misc{DBLP:data/10/StefanoNI21,\n author = {Luca Di Stefano and\n Rocco De Nicola and\n Omar Inverso},\n title = {Replication Package for the paper: Verification of Distributed Systems\n via Sequential Emulation (Version 1.0)},\n publisher = {Zenodo},\n year = {2021},\n month = sep,\n howpublished = {\\url{https://doi.org/10.5281/zenodo.5348289}},\n note = {Accessed on YYYY-MM-DD.},\n url = {https://doi.org/10.5281/zenodo.5348289},\n doi = {10.5281/ZENODO.5348289},\n timestamp = {Wed, 02 Oct 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/data/10/StefanoNI21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Stefano, L. D.","Nicola, R. D.","Inverso, O."],"key":"DBLP:data/10/StefanoNI21","id":"DBLP:data/10/StefanoNI21","bibbaseid":"stefano-nicola-inverso-replicationpackageforthepaperverificationofdistributedsystemsviasequentialemulationversion10-2021","role":"author","urls":{"Paper":"https://doi.org/10.5281/zenodo.5348289"},"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"https://dblp.uni-trier.de/pid/215/9758.bib","dataSources":["qKSww8Y3LjH72bFAJ"],"keywords":[],"search_terms":["replication","package","paper","verification","distributed","systems","via","sequential","emulation","version","stefano","nicola","inverso"],"title":"Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation (Version 1.0)","year":2021}