El Abidine Bouneb, Z., & Saïdouni, D. E. (2009). Parallel State Space Construction for a Model Checking Based on Maximality Semantics. AIP Conference Proceedings, 1107(1), 7. https://doi.org/10.1063/1.3106517
Chicago Style (17th ed.) CitationEl Abidine Bouneb, Zine, and Djamel Eddine Saïdouni. "Parallel State Space Construction for a Model Checking Based on Maximality Semantics." AIP Conference Proceedings 1107, no. 1 (2009): 7. https://doi.org/10.1063/1.3106517.
MLA (9th ed.) CitationEl Abidine Bouneb, Zine, and Djamel Eddine Saïdouni. "Parallel State Space Construction for a Model Checking Based on Maximality Semantics." AIP Conference Proceedings, vol. 1107, no. 1, 2009, p. 7, https://doi.org/10.1063/1.3106517.
Warning: These citations may not always be 100% accurate.
