M
arkus
N
.
R
abe
Homepages 🌐
http://www.react.uni-saarland.de/people/rabe.html
Entries
2014
A shallow embedding of HyperCTL*
by
Markus N. Rabe
,
Peter Lammich
and
Andrei Popescu
Apr 16