Author: Achraf Makni

Publications

Publication period start: 2006
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
Rafik Bouaziz
1
Faïez Gargouri
1

Productive Colleagues

Most productive colleagues in number of publications
Rafik Bouaziz
3
Faïez Gargouri
9

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.