DOI
10.5120/3123-4297
Year of Publication
2011
Type
Journals
Published in
Publication Title
Rigorous Design of Partition-Aware Total Order Broadcast System using Event-B
Status
International
ISBN/ISSN
978-93-80864-34-9
Status of Paper
Published
Nature
Others
Refereed/Peer Reviewed
Refereed
Month of Publication
Jul