Compositional verification of priority systems using sharp bisimulation
Crossref DOI link: https://doi.org/10.1007/s10703-023-00422-1
Published Online: 2023-05-17
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Di Stefano, Luca
Lang, Frédéric http://orcid.org/0000-0002-5221-3353
Text and Data Mining valid from 2023-05-17
Version of Record valid from 2023-05-17
Article History
Received: 17 April 2022
Accepted: 27 March 2023
First Online: 17 May 2023