Parallel State Space Construction for a Model Checking Based on Maximality Semantics.
Saved in:
| Title: | Parallel State Space Construction for a Model Checking Based on Maximality Semantics. |
|---|---|
| Authors: | El Abidine Bouneb, Zine1 bzine19@yahoo.fr, Saïdouni, Djamel Eddine2 saidounid@hotmail.com |
| Source: | AIP Conference Proceedings. 3/5/2009, Vol. 1107 Issue 1, p7-12. 6p. 7 Diagrams, 3 Graphs. |
| Database: | Academic Search Ultimate |
| ISSN: | 0094243X |
|---|---|
| DOI: | 10.1063/1.3106517 |
