Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nikola Benes
conf.researchr.org general profile
ETAPS 2019 profile
Not registered as user
Name:
Nikola Benes
Contributions
2019
SynCoP
Author of Parameter Synthesis for Timed Automata with Clock-Aware LTL Properties within the SynCoP-track
TACAS
Author of Digital Bifurcation Analysis of TCP Dynamics within the TACAS 2019-track
Share
x
Mon 27 Oct 19:03