Showing 1 - 3 results of 3 for search 'Arnaud Sangnier', query time: 0.03s Refine Results
  1. 1
    Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

    Parameterized Verification of Safety Properties in Ad Hoc Network Protocols by Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro

    Published 2011-08-01
    Get full text
    Article
  2. 2
    The Complexity of Flat Freeze LTL

    The Complexity of Flat Freeze LTL by Benedikt Bollig, Karin Quaas, Arnaud Sangnier

    Published 2019-09-01
    Get full text
    Article
  3. 3
    ATLsc with partial observation

    ATLsc with partial observation by François Laroussinie, Nicolas Markey, Arnaud Sangnier

    Published 2015-09-01
    Get full text
    Article

Search Tools: