Login / Signup
Univan Ahn
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Integral Equation
Video Sequences
High Speed
Tree Automata
Top Venues
FTSCS
</>
Publications
</>
Changil Choe
,
Univan Ahn
,
Song Han
Checking Integral Real-Time Automata for Extended Linear Duration Invariants.
FTSCS
(2014)