Media type: E-Article Title: Formal Verification of Distributed Transaction Execution in Replicated Database System using Event - B Contributor: Sharma, Pooja; Singh, Raghuraj Published: Foundation of Computer Science, 2016 Published in: International Journal of Computer Applications, 143 (2016) 6, Seite 15-23 Language: Not determined DOI: 10.5120/ijca2016910182 ISSN: 0975-8887 Keywords: General Medicine Origination: Footnote: Access State: Open Access