%0 Journal Article %1 journals/tcs/KernbergerL20 %A Kernberger, Daniel %A Lange, Martin %D 2020 %J Theor. Comput. Sci. %K dblp %P 362-374 %T On the expressive power of hybrid branching-time logics. %U http://dblp.uni-trier.de/db/journals/tcs/tcs813.html#KernbergerL20 %V 813

@article{journals/tcs/KernbergerL20, added-at = {2020-03-06T00:00:00.000+0100}, author = {Kernberger, Daniel and Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/25895cb89fe7d3878eb92a812c2d55086/dblp}, ee = {https://doi.org/10.1016/j.tcs.2020.01.014}, interhash = {9bb96bf53dcee6bdb22c9b8d9b95b28d}, intrahash = {5895cb89fe7d3878eb92a812c2d55086}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {362-374}, timestamp = {2020-03-07T11:40:05.000+0100}, title = {On the expressive power of hybrid branching-time logics.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs813.html#KernbergerL20}, volume = 813, year = 2020 }