@article{DBLP:journals/tosem/StefanoNI22,
  author       = {Luca Di Stefano and
                  Rocco De Nicola and
                  Omar Inverso},
  title        = {Verification of Distributed Systems via Sequential Emulation},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {31},
  number       = {3},
  pages        = {37:1--37:41},
  year         = {2022},
  url          = {https://doi.org/10.1145/3490387},
  doi          = {10.1145/3490387},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/StefanoNI22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"f3xL8KhvhcZBFnzA7","bibbaseid":"stefano-nicola-inverso-verificationofdistributedsystemsviasequentialemulation-2022","author_short":["Stefano, L. D.","Nicola, R. D.","Inverso, O."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca","Di"],"propositions":[],"lastnames":["Stefano"],"suffixes":[]},{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Omar"],"propositions":[],"lastnames":["Inverso"],"suffixes":[]}],"title":"Verification of Distributed Systems via Sequential Emulation","journal":"ACM Trans. Softw. Eng. Methodol.","volume":"31","number":"3","pages":"37:1–37:41","year":"2022","url":"https://doi.org/10.1145/3490387","doi":"10.1145/3490387","timestamp":"Sun, 19 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tosem/StefanoNI22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tosem/StefanoNI22,\n author = {Luca Di Stefano and\n Rocco De Nicola and\n Omar Inverso},\n title = {Verification of Distributed Systems via Sequential Emulation},\n journal = {{ACM} Trans. Softw. Eng. Methodol.},\n volume = {31},\n number = {3},\n pages = {37:1--37:41},\n year = {2022},\n url = {https://doi.org/10.1145/3490387},\n doi = {10.1145/3490387},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tosem/StefanoNI22.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:journals/tosem/StefanoNI22","id":"DBLP:journals/tosem/StefanoNI22","bibbaseid":"stefano-nicola-inverso-verificationofdistributedsystemsviasequentialemulation-2022","role":"author","urls":{"Paper":"https://doi.org/10.1145/3490387"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.uni-trier.de/pid/215/9758.bib","dataSources":["PCdRvyaDZRZMeqKhf","ZKDuuCf2q9KeEku3t","qqBcmuQ6eRsfasn9w","qKSww8Y3LjH72bFAJ"],"keywords":[],"search_terms":["verification","distributed","systems","via","sequential","emulation","stefano","nicola","inverso"],"title":"Verification of Distributed Systems via Sequential Emulation","year":2022}