Kamel Barkaoui, Hanifa Boucheneb and Zhiwu Li
Paper (2018)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| ISBN: | 9783030003593 |
| PolyPublie URL: | https://publications.polymtl.ca/41140/ |
| Conference Title: | 12th International Conference on Verification and Evaluation of Computer and Communication Systems |
| Conference Location: | Grenoble, France |
| Conference Date(s): | 2018-09-26 - 2018-09-28 |
| Publisher: | Springer |
| DOI: | 10.1007/978-3-030-00359-3_11 |
| Official URL: | https://doi.org/10.1007/978-3-030-00359-3_11 |
| Date Deposited: | 18 Apr 2023 15:02 |
| Last Modified: | 08 Apr 2025 12:22 |
| Cite in APA 7: | Barkaoui, K., Boucheneb, H., & Li, Z. (2018, September). Exploiting Local Persistency for Reduced State Space Generation [Paper]. 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France. https://doi.org/10.1007/978-3-030-00359-3_11 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
