DOI
https://doi.org/10.1007/978-981-16-3346-1_48
Link
https://link.springer.com/chapter/10.1007/978-981-16-3346-1_48
Year of Publication
2021
Type
Conference Proceedings
Published in
Advances in Intelligent Systems and Computing, Vol 1374
Publication Title
Formal Modelling of Cluster-Coordinator-Based Load Balancing Protocol Using Event-B
Status
International
First Author
Shantanu Shukla
Second Author
Raghuraj Suryavanshi
Third Author
Divakar Yadav
Page Numbers
593-604
Status of Paper
Published
Related Department
Computer Science and Engineering Department
Nature
SCOPUS
Publisher
Springer, Singapore
Refereed/Peer Reviewed
Refereed
Month of Publication
Sep