Showing 1 - 2 results of 2 for search 'Sylvain Salvati', query time: 0.02s Refine Results
  1. 1
    Typing weak MSOL properties

    Typing weak MSOL properties by Sylvain Salvati, Igor Walukiewicz

    Published 2017-03-01
    Get full text
    Article
  2. 2
    Using models to model-check recursive schemes

    Using models to model-check recursive schemes by Sylvain Salvati, Igor Walukiewicz

    Published 2015-06-01
    Get full text
    Article

Search Tools: