Wang Kuangze, Hanifa Boucheneb, Kamel Barkaoui and Li Zhiwu
Paper (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 |
| ISBN: | 9783030659547 |
| PolyPublie URL: | https://publications.polymtl.ca/47906/ |
| Conference Title: | 14th International Conference, on Verification and Evaluation of Computer and Communication Systems (VECoS 2020) |
| Conference Location: | Xi'an, China |
| Conference Date(s): | 2020-10-26 - 2020-10-27 |
| Publisher: | Springer |
| DOI: | 10.1007/978-3-030-65955-4_8 |
| Official URL: | https://doi.org/10.1007/978-3-030-65955-4_8 |
| Date Deposited: | 18 Apr 2023 15:01 |
| Last Modified: | 08 Apr 2025 12:23 |
| Cite in APA 7: | Kuangze, W., Boucheneb, H., Barkaoui, K., & Zhiwu, L. (2020, October). Towards Efficient Partial Order Techniques for Time Petri Nets [Paper]. 14th International Conference, on Verification and Evaluation of Computer and Communication Systems (VECoS 2020), Xi'an, China. https://doi.org/10.1007/978-3-030-65955-4_8 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
