2014

Revue Internationale avec comité de lecture

• [SBB14] B. S, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri nets: a semantic framework for UML2 activities", International Journal of Critical Computer-Based Systems, vol. 5(No 3/4), pp. 241-267, 2014