Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. Linear Temporal Logic and Propositional Schemata, Back and Forth. In Carlo Combi, Martin Leucker, Frank Wolter, editors, Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. pages 80-87, IEEE, 2011. [doi]
@inproceedings{AravantinosCP11-0,
title = {Linear Temporal Logic and Propositional Schemata, Back and Forth},
author = {Vincent Aravantinos and Ricardo Caferra and Nicolas Peltier},
year = {2011},
doi = {10.1109/TIME.2011.11},
url = {http://doi.ieeecomputersociety.org/10.1109/TIME.2011.11},
researchr = {https://researchr.org/publication/AravantinosCP11-0},
cites = {0},
citedby = {0},
pages = {80-87},
booktitle = {Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011},
editor = {Carlo Combi and Martin Leucker and Frank Wolter},
publisher = {IEEE},
isbn = {978-1-4577-1242-5},
}