Publication details

Timed Automata Relaxation for Reachability

Authors

BENDÍK Jaroslav SENCAN Ahmet AYDIN GOL Ebru ČERNÁ Ivana

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

Faculty of Informatics

Citation
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info