Philip Offtermatt
Philip Offtermatt
Ph.D. Student, UniversitÚ de Sherbrooke & Max Planck Institute for Software Systems (MPI-SWS)
Verified email at - Homepage
Cited by
Cited by
Computing the expected execution time of probabilistic workflow nets
PJ Meyer, J Esparza, P Offtermatt
International Conference on Tools and Algorithms for the Construction andá…, 2019
Directed Reachability for Infinite-State Systems
M Blondin, C Haase, P Offtermatt
Tools and Algorithms for the Construction and Analysis of Systems27thá…, 2021
The system can't perform the operation now. Try again later.
Articles 1–2