%0 Conference Paper %1 conf/aaai/GiacomoMM14 %A Giacomo, Giuseppe De %A Masellis, Riccardo De %A Montali, Marco %B AAAI %D 2014 %E Brodley, Carla E. %E Stone, Peter %I AAAI Press %K dblp %P 1027-1033 %T Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2014.html#GiacomoMM14 %@ 978-1-57735-661-5

@inproceedings{conf/aaai/GiacomoMM14, added-at = {2023-09-04T00:00:00.000+0200}, author = {Giacomo, Giuseppe De and Masellis, Riccardo De and Montali, Marco}, biburl = {https://www.bibsonomy.org/bibtex/29eda36d48a1d7135cc76de0b8a28ac5e/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2014}, editor = {Brodley, Carla E. and Stone, Peter}, ee = {https://doi.org/10.1609/aaai.v28i1.8872}, interhash = {010bd59fd96773206271e6c2d823191e}, intrahash = {9eda36d48a1d7135cc76de0b8a28ac5e}, isbn = {978-1-57735-661-5}, keywords = {dblp}, pages = {1027-1033}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:06:48.000+0200}, title = {Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2014.html#GiacomoMM14}, year = 2014 }