Kamel Barkaoui, Hanifa Boucheneb and Zhiwu Li
Article (2020)
An external link is available for this item
| Additional Information: | Groupe de recherche: VeriForm |
|---|---|
| Department: | Department of Computer Engineering and Software Engineering |
| Research Center: | Other |
| PolyPublie URL: | https://publications.polymtl.ca/45293/ |
| Journal Title: | Innovations in Systems and Software Engineering (vol. 16, no. 2) |
| Publisher: | Springer |
| DOI: | 10.1007/s11334-020-00358-3 |
| Official URL: | https://doi.org/10.1007/s11334-020-00358-3 |
| Date Deposited: | 18 Apr 2023 15:00 |
| Last Modified: | 08 Apr 2025 07:11 |
| Cite in APA 7: | Barkaoui, K., Boucheneb, H., & Li, Z. (2020). Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, 16(2), 181-197. https://doi.org/10.1007/s11334-020-00358-3 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
