No Citation Found
How to cite this article
Hong-Jiang Gao, Hong Sun, Bang-Hai Xu, Ying He and Zheng Qin, 2008. Rigorous Development of Fault-Tolerant Transactions for Information Retrieval Systems Using Event-B. Information Technology Journal, 7: 868-875.
DOI: 10.3923/itj.2008.868.875
URL: https://scialert.net/abstract/?doi=itj.2008.868.875
DOI: 10.3923/itj.2008.868.875
URL: https://scialert.net/abstract/?doi=itj.2008.868.875