Bourahla, Mustapha; Benmohamed, Mohamed Model checking multi-agent systems. (English) Zbl 1104.68065 Informatica, Ljubl. 29, No. 2, 189-197 (2005). MSC: 68Q60 68T05 68N19 PDFBibTeX XMLCite \textit{M. Bourahla} and \textit{M. Benmohamed}, Informatica, Ljubl. 29, No. 2, 189--197 (2005; Zbl 1104.68065)
Bourahla, Mustapha; Benmohamed, Mohamed Distributing state space for parallel computation of CTL model checking. (English) Zbl 1101.68675 Informatica, Ljubl. 28, No. 3, 297-305 (2004). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. Bourahla} and \textit{M. Benmohamed}, Informatica, Ljubl. 28, No. 3, 297--305 (2004; Zbl 1101.68675)