Informace o publikaci

Timed Automata Relaxation for Reachability

Autoři

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

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

Fakulta informatiky

Citace
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info