%0 Conference Paper %1 conf/csl/KoskinenT14 %A Koskinen, Eric %A Terauchi, Tachio %B CSL-LICS %D 2014 %E Henzinger, Thomas A. %E Miller, Dale %I ACM %K dblp %P 59:1-59:10 %T Local temporal reasoning. %U http://dblp.uni-trier.de/db/conf/csl/csl2014.html#KoskinenT14 %@ 978-1-4503-2886-9

@inproceedings{conf/csl/KoskinenT14, added-at = {2023-06-26T00:00:00.000+0200}, author = {Koskinen, Eric and Terauchi, Tachio}, biburl = {https://www.bibsonomy.org/bibtex/2fc5e219e9ce0c30b1e4778d8ff495936/dblp}, booktitle = {CSL-LICS}, crossref = {conf/csl/2014}, editor = {Henzinger, Thomas A. and Miller, Dale}, ee = {https://doi.org/10.1145/2603088.2603138}, interhash = {81c032799c6aca94c0ffcf42f7aa5446}, intrahash = {fc5e219e9ce0c30b1e4778d8ff495936}, isbn = {978-1-4503-2886-9}, keywords = {dblp}, pages = {59:1-59:10}, publisher = {ACM}, timestamp = {2024-04-10T06:35:06.000+0200}, title = {Local temporal reasoning.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2014.html#KoskinenT14}, year = 2014 }