2003

Conférence Internationale avec comité de lecture

• [BR03] K. Barkaoui, J. Romhain. "Parametrised Verification of Class of Resource Allocation systems", Actes de la Conférence Internationale sur la Productique, CIP’03, CDTA - Alger, January 2003, pp.52-59,