Login / Signup
Improving Search Order for Reachability Testing in Timed Automata.
Frédéric Herbreteau
Thanh-Tung Tran
Published in:
FORMATS (2015)
Keyphrases
</>
improving search
information retrieval
timed automata