Author: Achraf Makni
Publications
Publication period start: 2006
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Makni, Achraf, Bouaziz, Rafik, Gargouri, Faïez (2006): Formal Verification of an Access Concurrency Control Algorithm for Transaction Time Relati. In: Manolopoulos, Yannis, Filipe, Joaquim, Constantopoulos, Panos, Cordeiro, José (eds.) ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems Databases and Information Systems Integration May 23-27, 2006, Paphos, Cyprus. pp. 269-272.