Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir. On first-order runtime enforcement of branching-time properties. Acta Informatica, 60(4):385-451, December 2023. [doi]
@article{AcetoCFI23-0,
title = {On first-order runtime enforcement of branching-time properties},
author = {Luca Aceto and Ian Cassar and Adrian Francalanza and Anna Ingólfsdóttir},
year = {2023},
month = {December},
doi = {10.1007/s00236-023-00441-9},
url = {https://doi.org/10.1007/s00236-023-00441-9},
researchr = {https://researchr.org/publication/AcetoCFI23-0},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {60},
number = {4},
pages = {385-451},
}