Login / Signup
Aleksander Kryukov
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Multipath
Multiresolution
Reachability Analysis
Real Time Systems
Top Venues
CoRR
ICECCS
</>
Publications
</>
Étienne André
,
Aleksander Kryukov
Parametric non-interference in timed automata.
CoRR
(2020)
Étienne André
,
Aleksander Kryukov
Parametric non-interference in timed automata.
ICECCS
(2020)