View in EDS

Parallel State Space Construction for a Model Checking Based on Maximality Semantics.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first