Communication Dans Un Congrès
Année : 2017
Mahsa Shirmohammadi : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02411539
Soumis le : samedi 14 décembre 2019-23:33:58
Dernière modification le : vendredi 17 mai 2024-16:10:09
Citer
Karin Quaas, Mahsa Shirmohammadi, James Worrell. Revisiting reachability in timed automata. 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-12, ⟨10.1109/LICS.2017.8005098⟩. ⟨hal-02411539⟩
Collections
29
Consultations
0
Téléchargements