Login / Signup
Jip Spel
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 7
Top Topics
Fault Tree Analysis
Algo Rithm
Markov Processes
Timed Automata
Top Venues
CoRR
QEST
VMCAI
TACAS (1)
</>
Publications
</>