Showing 1 - 1 results of 1 for search 'Antonia Lechner', query time: 0.02s Refine Results
  1. 1
    Model Checking Flat Freeze LTL on One-Counter Automata

    Model Checking Flat Freeze LTL on One-Counter Automata by Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell

    Published 2018-12-01
    Get full text
    Article

Search Tools: