Publication details
Timed Automata Relaxation for Reachability
Authors | |
---|---|
Year of publication | 2021 |
Type | Article in Proceedings |
Conference | 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21) |
MU Faculty or unit | |
Citation | |
Related projects: |