![](/img/cover-not-exists.png)
[AIP INTELLIGENT SYSTEMS AND AUTOMATION: 2nd Mediterranean Conference on Intelligent Systems and Automation (CISA’09) - Zarzis (Tunisia) (23–25 March 2009)] AIP Conference Proceedings - Parallel State Space Construction for a Model Checking Based on Maximality Semantics
El Abidine Bouneb, Zine, Saïdouni, Djamel Eddine, Beji, Lotfi, Otmane, Samir, Abichou, AzgalYear:
2009
Language:
english
DOI:
10.1063/1.3106517
File:
PDF, 1.15 MB
english, 2009