ETAPS 2019 (series) / Nikola Benes
Not registered as user yet
Name:Nikola Benes
Contributions
| SynCoP 2019 | Parameter Synthesis for Timed Automata with Clock-Aware LTL Properties | ||||||||||||||||||||||||||||||||||||||||
| TACAS 2019 | Digital Bifurcation Analysis of TCP Dynamics | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile