Person

Jip Spel

M. Sc.

Doctoral researcher

Jip Spel
Computer Science Departement, RTG UnRAVeL

Address


 

Contact

workPhone
Phone: +49 241 80 21202
Fax: +49 241 80 22217

Office Hours

n.V.
 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
Are Parametric Markov Chains Monotonic?
In: Automated Technology for Verification and Analysis / Chen, Yu-Fang (Editor), 479-496, 2019
[DOI: 10.1007/978-3-030-31784-3_28]
Spel, Jip Josephine
Junges, Sebastian
Katoen, Joost-Pieter