Showing 1 - 3 results of 3 for search 'Haase, CJ', query time: 0.02s Refine Results
  1. 1
    Counting problems for Parikh images

    Counting problems for Parikh images by Haase, CJ, Kiefer, S, Lohrey, M

    Published 2017
    Conference item
  2. 2
    Directed reachability for infinite-state systems

    Directed reachability for infinite-state systems by Blondin, M, Haase, CJ, Offtermatt, P

    Published 2021
    Conference item
  3. 3
    The logical view on continuous petri net

    The logical view on continuous petri net by Haase, CJ, Blondin, M, Haddad, S, Finkel, A

    Published 2017
    Journal article

Search Tools: