Year of Publication
2015
Type
Conference Proceedings
Publication Title
Formal specification of asynchronous checkpointing using Event-B
Status
National
Page Numbers
659-664
Status of Paper
Published
Nature
Others
Publisher
Refereed/Peer Reviewed
NA
Month of Publication
Mar