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