90 followers
LTL Parameter Synthesis of Timed Automata by Peter Bezděk, Nikola Beneš, Jiří Barnat and Ivana Černá https://t.co/BX5tCoEjEZ #sefm16 #staf16
LTL Parameter Synthesis of Timed Automata by Peter Bezděk, Nikola Beneš, Jiří Barnat and Ivana Černá https://t.co/BX5tCoEjEZ #sefm16 #staf16