Achraf Makni, Rafik Bouaziz, Faïez Gargouri. Formal Verification of an Access Concurrency Control Algorithm for Transaction Time Relations. In Yannis Manolopoulos, Joaquim Filipe, Panos Constantopoulos, José Cordeiro, editors, ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, Paphos, Cyprus, May 23-27, 2006. pages 269-272, 2006.
Abstract is missing.