Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis. The refinement calculus of reactive systems. Inf. Comput., 285(Part):104819, 2022. [doi]
@article{PreoteasaDT22,
title = {The refinement calculus of reactive systems},
author = {Viorel Preoteasa and Iulia Dragomir and Stavros Tripakis},
year = {2022},
doi = {10.1016/j.ic.2021.104819},
url = {https://doi.org/10.1016/j.ic.2021.104819},
researchr = {https://researchr.org/publication/PreoteasaDT22},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104819},
}