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: |