%0 Journal Article %1 journals/corr/abs-2010-10912 %A Hausmann, Daniel %A Milius, Stefan %A Schröder, Lutz %D 2020 %J CoRR %K dblp %T Harnessing LTL With Freeze Quantification. %U http://dblp.uni-trier.de/db/journals/corr/corr2010.html#abs-2010-10912 %V abs/2010.10912

@article{journals/corr/abs-2010-10912, added-at = {2020-10-26T00:00:00.000+0100}, author = {Hausmann, Daniel and Milius, Stefan and Schröder, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/2bd42f662a4e9574aa769c3924d673fc7/dblp}, ee = {https://arxiv.org/abs/2010.10912}, interhash = {bdf4bf9385ad59cba3cb52d4da5de949}, intrahash = {bd42f662a4e9574aa769c3924d673fc7}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-10-27T12:32:43.000+0100}, title = {Harnessing LTL With Freeze Quantification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2010.html#abs-2010-10912}, volume = {abs/2010.10912}, year = 2020 }