Mustapha Bourahla

	2005
7		Mustapha Bourahla, Mohamed Benmohamed: Efficient partition of state space for parallel reachability analysis. AICCSA 2005: 21
6		Mustapha Bourahla, Mohamed Benmohamed: Formal Specification and Verification of Multi-Agent Systems. Electr. Notes Theor. Comput. Sci. 123: 5-17 (2005)
5		Mustapha Bourahla, Mohamed Benmohamed: Analysis of Real-Time Systems with CTL Model Checkers. Electr. Notes Theor. Comput. Sci. 133: 41-60 (2005)
4		Mustapha Bourahla, Mohamed Benmohamed: Model Checking Multi-Agent Systems. Informatica (Slovenia) 29(2): 189-198 (2005)
3		Mustapha Bourahla: Partitioning State Spaces of Concurrent Transition Systems. Int. Arab J. Inf. Technol. 2(2): 127-135 (2005)
	2003
2		Mustapha Bourahla, Mohamed Benmohamed: Verification of Real-Time Systems by Abstraction of Time Constraints. IPDPS 2003: 238
	2002
1		Mustapha Bourahla, Mohamed Benmohamed: Predicate Abstraction and Refinement for Model Checking VHDL State Machines. Electr. Notes Theor. Comput. Sci. 66(2): (2002)

Coauthor Index

1

Mohamed Benmohamed

[1] [2] [4] [5] [6] [7]