Showing 1 - 4 results of 4 for search 'Quaas, K', query time: 0.03s Refine Results
  1. 1
    Synchronizing Data Words for Register Automata

    Synchronizing Data Words for Register Automata by Shirmohammadi, M, Babari, P, Quaas, K

    Published 2016
    Conference item
  2. 2
    Revisiting reachability in timed automata

    Revisiting reachability in timed automata by Quaas, K, Shirmohammadi, M, Worrell, J

    Published 2017
    Conference item
  3. 3
    Zone-based universality analysis for single-clock timed automata

    Zone-based universality analysis for single-clock timed automata by Abdulla, P, Ouaknine, J, Quaas, K, Worrell, J

    Published 2007
    Journal article
  4. 4
    Universality Analysis for One-Clock Timed Automata

    Universality Analysis for One-Clock Timed Automata by Abdulla, P, Deneux, J, Ouaknine, J, Quaas, K, Worrell, J

    Published 2008
    Journal article

Search Tools: