vix.ing
·
top
·
new
·
best
·
stats
·
spec
Kohlen, Bram
Backwards Reachability for Probabilistic Timed Automata: A Replication Report
2022/08/25 by
Hartmanns, Arnd
,
Kohlen, Bram
· 1 citation
#FOS: Computer and information sciences
#Logic in Computer Science (cs.LO)