Conference Papers
Year : 2017
Mahsa Shirmohammadi : Connect in order to contact the contributor
https://hal.science/hal-02411539
Submitted on : Saturday, December 14, 2019-11:33:58 PM
Last modification on : Friday, May 17, 2024-4:10:09 PM
Cite
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
View
0
Download