Showing 1 - 5 results of 5 for search 'Michael Blondin', query time: 0.03s Refine Results
  1. 1
    Separators in Continuous Petri Nets

    Separators in Continuous Petri Nets by Michael Blondin, Javier Esparza

    Published 2024-02-01
    Get full text
    Article
  2. 2
    The Complexity of Reachability in Affine Vector Addition Systems with States

    The Complexity of Reachability in Affine Vector Addition Systems with States by Michael Blondin, Mikhail Raskin

    Published 2021-07-01
    Get full text
    Article
  3. 3
    Forward Analysis for WSTS, Part III: Karp-Miller Trees

    Forward Analysis for WSTS, Part III: Karp-Miller Trees by Michael Blondin, Alain Finkel, Jean Goubault-Larrecq

    Published 2020-06-01
    Get full text
    Article
  4. 4
    Well Behaved Transition Systems

    Well Behaved Transition Systems by Michael Blondin, Alain Finkel, Pierre McKenzie

    Published 2017-09-01
    Get full text
    Article
  5. 5
    Affine Extensions of Integer Vector Addition Systems with States

    Affine Extensions of Integer Vector Addition Systems with States by Michael Blondin, Christoph Haase, Filip Mazowiecki, Mikhail Raskin

    Published 2021-07-01
    Get full text
    Article

Search Tools: