@InProceedings{Cesta_etal2009,
author="Cesta, Amedeo
and Finzi, Alberto
and Fratini, Simone
and Orlandini, Andrea
and Tronci, Enrico",
editor="Mertsching, B{\~A}¤rbel
and Hund, M.
and Aziz, M.Z.",
title="Flexible Timeline-Based Plan Verification",
booktitle="KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings",
series="Lecture Notes in Computer Science",
year="2009",
publisher="Springer",
volume="5803",
pages="49--56",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=21), last updated on Sat, 24 Nov 2012 12:49:39 +0100",
issn="978-3-642-04616-2",
doi="10.1007/978-3-642-04617-9_7",
opturl="https://doi.org/10.1007/978-3-642-04617-9_7",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2009a.pdf:PDF"
}