Showing 1 - 1 results of 1 for search 'Oliver Fernández Gil', query time: 0.07s Refine Results
  1. 1
    On the Expressiveness of TPTL and MTL over ω-Data Words

    On the Expressiveness of TPTL and MTL over ω-Data Words by Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas

    Published 2014-05-01
    Get full text
    Article

Search Tools: