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 : dimanche 9 juillet 2023-11:20: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
28
Consultations
0
Téléchargements