Luca Di Stefano 0001, Rocco De Nicola, Omar Inverso. Verification of Distributed Systems via Sequential Emulation. ACM Transactions on Software Engineering Methodology, 31(3), 2022. [doi]
@article{StefanoNI22,
title = {Verification of Distributed Systems via Sequential Emulation},
author = {Luca Di Stefano 0001 and Rocco De Nicola and Omar Inverso},
year = {2022},
doi = {10.1145/3490387},
url = {https://doi.org/10.1145/3490387},
researchr = {https://researchr.org/publication/StefanoNI22},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {31},
number = {3},
}