Wang Kuangze, Hanifa Boucheneb, Kamel Barkaoui et Li Zhiwu
Communication écrite (2020)
Un lien externe est disponible pour ce document
| Renseignements supplémentaires: | Groupe de recherche: VeriForm |
|---|---|
| Département: | Département de génie informatique et génie logiciel |
| Centre de recherche: | Autre |
| ISBN: | 9783030659547 |
| URL de PolyPublie: | https://publications.polymtl.ca/47906/ |
| Nom de la conférence: | 14th International Conference, on Verification and Evaluation of Computer and Communication Systems (VECoS 2020) |
| Lieu de la conférence: | Xi'an, China |
| Date(s) de la conférence: | 2020-10-26 - 2020-10-27 |
| Maison d'édition: | Springer |
| DOI: | 10.1007/978-3-030-65955-4_8 |
| URL officielle: | https://doi.org/10.1007/978-3-030-65955-4_8 |
| Date du dépôt: | 18 avr. 2023 15:01 |
| Dernière modification: | 08 avr. 2025 12:23 |
| Citer en APA 7: | Kuangze, W., Boucheneb, H., Barkaoui, K., & Zhiwu, L. (octobre 2020). Towards Efficient Partial Order Techniques for Time Petri Nets [Communication écrite]. 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 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
