Showing 1 - 2 results of 2 for search 'Karin Quaas', query time: 0.03s Refine Results
  1. 1
    MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable
    by Karin Quaas
    Published 2014-03-01
    Get full text
    Article
  2. 2
    On the Expressiveness of TPTL and MTL over ω-Data Words
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search