Articles by Zine El Abidine Bounab (1)

Model Checking Auto-Concurrency

Zine El Abidine Bounab and Salim Benayoune

Journal of Engineering and Applied Sciences 13 ( 3 ): 557 - 563 , 2018