%0 Journal Article %1 journals/acta/DaxKL10 %A Dax, Christian %A Klaedtke, Felix %A Lange, Martin %D 2010 %J Acta Inf. %K %N 4 %P 251-277 %T On regular temporal logics with past. %U http://dblp.uni-trier.de/db/journals/acta/acta47.html#DaxKL10 %V 47

@article{journals/acta/DaxKL10, added-at = {2023-12-12T22:26:31.000+0100}, author = {Dax, Christian and Klaedtke, Felix and Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2352c7a31b2403b16139f8a6e2951f73b/admin}, ee = {https://doi.org/10.1007/s00236-010-0118-3}, interhash = {4a48911f8d385bf882bfa34689a27e08}, intrahash = {352c7a31b2403b16139f8a6e2951f73b}, journal = {Acta Inf.}, keywords = {}, number = 4, pages = {251-277}, timestamp = {2023-12-12T22:26:31.000+0100}, title = {On regular temporal logics with past.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta47.html#DaxKL10}, volume = 47, year = 2010 }