Login / Signup
Using non-convex approximations for efficient analysis of timed automata.
Frédéric Herbreteau
Dileep Kini
B. Srivathsan
Igor Walukiewicz
Published in:
FSTTCS (2011)
Keyphrases
</>
timed automata
databases
image analysis