Revisiting reachability in timed automata - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Dates and versions

hal-02411539 , version 1 (14-12-2019)

Identifiers

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⟩
28 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More