Parallel State Space Construction for a Model Checking Based on Maximality Semantics. - El Abidine Bouneb, Zine; Saïdouni, Djamel Eddine (AIP Conference Proceedings, 2009)