Showing 1 - 2 results of 2 for search 'Maurice Laveaux', query time: 0.02s Refine Results
  1. 1
    Adaptive Non-linear Pattern Matching Automata

    Adaptive Non-linear Pattern Matching Automata by Rick Erkens, Maurice Laveaux

    Published 2021-12-01
    Get full text
    Article
  2. 2
    Correct and Efficient Antichain Algorithms for Refinement Checking

    Correct and Efficient Antichain Algorithms for Refinement Checking by Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse

    Published 2021-02-01
    Get full text
    Article

Search Tools: