Showing 1 - 7 results of 7 for search 'Jean Goubault-Larrecq', query time: 0.02s Refine Results
  1. 1
    QRB-Domains and the Probabilistic Powerdomain

    QRB-Domains and the Probabilistic Powerdomain by Jean Goubault-Larrecq

    Published 2012-02-01
    Get full text
    Article
  2. 2
    Forward Analysis for WSTS, Part II: Complete WSTS

    Forward Analysis for WSTS, Part II: Complete WSTS by Alain Finkel, Jean Goubault-Larrecq

    Published 2012-09-01
    Get full text
    Article
  3. 3
    A Few Notes on Formal Balls

    A Few Notes on Formal Balls by Jean Goubault-Larrecq, Kok Min Ng

    Published 2017-11-01
    Get full text
    Article
  4. 4
    Karp-Miller Trees for a Branching Extension of VASS

    Karp-Miller Trees for a Branching Extension of VASS by Kumar Neeraj Verma, Jean Goubault-Larrecq

    Published 2005-12-01
    Get full text
    Article
  5. 5
    Karp-Miller Trees for a Branching Extension of VASS

    Karp-Miller Trees for a Branching Extension of VASS by Kumar Neeraj Verma, Jean Goubault-Larrecq

    Published 2005-01-01
    Get full text
    Article
  6. 6
    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
  7. 7
    The Ho-Zhao Problem

    The Ho-Zhao Problem by Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi

    Published 2018-01-01
    Get full text
    Article

Search Tools: