DOI
10.1109/ICACEA.2015.7164773
Link
https://ieeexplore.ieee.org/abstract/document/7164773
Year of Publication
2015
Type
Conference Proceedings
Published in
2015 International Conference on Advances in Computer Engineering and Applications
Publication Title
Formal Specifications of Asynchronous checkpointing using Event-B
Status
International
First Author
Natthan Singh
Second Author
Manik Chandra
Third Author
Divakar Yadav
Status of Paper
Published
Related Department
Computer Science and Engineering Department
Nature
SCOPUS
Publisher
IEEE
Refereed/Peer Reviewed
Refereed
Month of Publication
Jul