Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux et Charlotte Seidner
Communication écrite (2017)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| ISBN: | 9783319657646 |
| URL de PolyPublie: | https://publications.polymtl.ca/38610/ |
| Nom de la conférence: | 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017) |
| Lieu de la conférence: | Berlin, Germany |
| Date(s) de la conférence: | 2017-09-05 - 2017-09-07 |
| Maison d'édition: | Springer |
| DOI: | 10.1007/978-3-319-65765-3_4 |
| URL officielle: | https://doi.org/10.1007/978-3-319-65765-3_4 |
| Date du dépôt: | 18 avr. 2023 15:04 |
| Dernière modification: | 08 avr. 2025 12:22 |
| Citer en APA 7: | Boucheneb, H., Lime, D., Parquier, B., Roux, O. H., & Seidner, C. (septembre 2017). Optimal reachability in cost time Petri nets [Communication écrite]. 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017), Berlin, Germany. https://doi.org/10.1007/978-3-319-65765-3_4 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
