TY  - CONF
AU  - Cesta, Amedeo
AU  - Finzi, Alberto
AU  - Fratini, Simone
AU  - Orlandini, Andrea
AU  - Tronci, Enrico
ED  - Mertsching, Bärbel
ED  - Hund, M.
ED  - Aziz, M.Z.
PY  - 2009
DA  - 2009//
TI  - Flexible Timeline-Based Plan Verification
BT  - KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings
T3  - Lecture Notes in Computer Science
SP  - 49
EP  - 56
VL  - 5803
PB  - Springer
SN  - 978-3-642-04616-2
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2009a.pdf
UR  - https://doi.org/10.1007/978-3-642-04617-9_7
DO  - 10.1007/978-3-642-04617-9_7
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=21), last updated on Sat, 24 Nov 2012 12:49:39 +0100
ID  - Cesta_etal2009
ER  -