Paper  doi  bibtex   1 download  

@Article{DiStefanoL2023,
author={Di Stefano, Luca
and Lang, Fr{\'e}d{\'e}ric},
title={Compositional verification of priority systems using sharp bisimulation},
journal={Formal Methods in System Design},
year={2023},
doi={10.1007/s10703-023-00422-1},
url={https://doi.org/10.1007/s10703-023-00422-1}
}