DOI
https://doi.org/10.1007/978-981-16-3346-1_16
Link
https://link.springer.com/chapter/10.1007/978-981-16-3346-1_16
Year of Publication
2021
Type
Conference Proceedings
Published in
Advances in Intelligent Systems and Computing
Publication Title
Formal Verification of Liveness Properties in Causal Order Broadcast Systems Using Event-B
Status
International
First Author
Yadav Pooja
Second Author
Raghuraj Suryavanshi
Third Author
Divakar Yadav
Page Numbers
199-210
Status of Paper
Published
Related Department
Computer Science and Engineering Department
Nature
SCOPUS
Publisher
Springer, Singapore
Refereed/Peer Reviewed
Refereed
Month of Publication
Sep