Showing 1 - 1 results of 1 for search 'Christina Gehnen', query time: 0.02s Refine Results
  1. 1
    Model Checking Temporal Properties of Recursive Probabilistic Programs

    Model Checking Temporal Properties of Recursive Probabilistic Programs by Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

    Published 2023-12-01
    Get full text
    Article

Search Tools: