Markus N. Rabe, Peter Lammich, Andrei Popescu. A shallow embedding of HyperCTL. Archive of Formal Proofs, 2014, 2014. [doi]
@article{RabeLP14, title = {A shallow embedding of HyperCTL}, author = {Markus N. Rabe and Peter Lammich and Andrei Popescu}, year = {2014}, url = {http://afp.sourceforge.net/entries/HyperCTL.shtml}, researchr = {https://researchr.org/publication/RabeLP14}, cites = {0}, citedby = {0}, journal = {Archive of Formal Proofs}, volume = {2014}, }