Informace o publikaci
Timed Automata Relaxation for Reachability
Autoři | |
---|---|
Rok publikování | 2021 |
Druh | Článek ve sborníku |
Konference | 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21) |
Fakulta / Pracoviště MU | |
Citace | |
Související projekty: |