Document is current

Any future updates will be listed below

Formal Verification of Liveness Properties in Causal Order Broadcast Systems Using Event-B

Crossref DOI link: https://doi.org/10.1007/978-981-16-3346-1_16

Published Online: 2021-09-20

Published Print: 2022

Update policy: https://doi.org/10.1007/springer_crossmark_policy

About CrossMark