Zine EL Abidine Bouneb
Publication Count: 1
Publication List:
(1) Distributed Maximality based CTL Model Checking, Volume 7, Issue 3, May 2010
About Zine EL Abidine Bouneb:
Zine El Abidine Bouneb. born in Algeria in 1976. He obtained his master degree from Constantine university, Algeria, in December 2003 on the field of computation and information. Zine El Abidine Bouneb is interested to the following topics : maximality semantics , formal methods , type theory , state explosion problem , game theory , models for concurrency , functional programming. Mr Bouneb Z.A currently is a lecturer at the university of Oum El Bouaghi and a PhD student in the university of Constantine under the supervision of Dr Saidouni Djamel Eddine working on symbolic verification.
Publication List:
(1) Distributed Maximality based CTL Model Checking, Volume 7, Issue 3, May 2010
About Zine EL Abidine Bouneb:
Zine El Abidine Bouneb. born in Algeria in 1976. He obtained his master degree from Constantine university, Algeria, in December 2003 on the field of computation and information. Zine El Abidine Bouneb is interested to the following topics : maximality semantics , formal methods , type theory , state explosion problem , game theory , models for concurrency , functional programming. Mr Bouneb Z.A currently is a lecturer at the university of Oum El Bouaghi and a PhD student in the university of Constantine under the supervision of Dr Saidouni Djamel Eddine working on symbolic verification.
