Person

Jip Spel

M. Sc.

Promtionsstudentin

Jip Spel
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)

Adresse

Gebäude: 2353 (E1), 2. OG

Raum: 4207

Ahornstr. 55

52074 Aachen

Kontakt

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

Sprechstunde

n.V.
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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