Author: Achraf Makni
Publication Overview
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.