Link
https://www.springerprofessional.de/en/rigorous-design-of-lazy-replication-syst…
Year of Publication
2012
Type
Conference Proceedings
Published in
Contemporary Computing
Publication Title
Rigorous Design of Lazy Replication System Using Event-B
Status
National
First Author
Raghuraj Suryavanshi
Second Author
Divakar Yadav
Page Numbers
407-418
Status of Paper
Published
Related Department
Computer Science and Engineering Department
Nature
SCOPUS
Publisher
Communications in Computer and Information Sciences(CCIS), Vol 306, , Springer-Verlag, Berlin-Heidelberg
Refereed/Peer Reviewed
Peer Reviewed
Month of Publication
Dec