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 specification of asynchronous checkpointing using Event-B
Status
International
First Author
Natthan Singh
Second Author
Manik Chandra
Third Author
Divakar Yadav
Page Numbers
659-664
ISBN/ISSN
978-1-4673-6911-4
Status of Paper
Published
Related Department
Computer Science and Engineering Department
Nature
Others
Publisher
IEEE
Refereed/Peer Reviewed
Peer Reviewed
Month of Publication
Mar