Login / Signup

Improving Search Order for Reachability Testing in Timed Automata.

Frédéric HerbreteauThanh-Tung Tran
Published in: FORMATS (2015)
Keyphrases
  • improving search
  • information retrieval
  • timed automata