%0 Conference Proceedings
%T Flexible Timeline-Based Plan Verification
%A Cesta, Amedeo
%A Finzi, Alberto
%A Fratini, Simone
%A Orlandini, Andrea
%A Tronci, Enrico
%Y Mertsching, Bärbel
%Y Hund, M.
%Y Aziz, M.Z.
%S KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings
%S Lecture Notes in Computer Science
%D 2009
%V 5803
%I Springer
%@ 978-3-642-04616-2
%F Cesta_etal2009
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=21), last updated on Sat, 24 Nov 2012 12:49:39 +0100
%R 10.1007/978-3-642-04617-9_7
%U http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2009a.pdf
%U https://doi.org/10.1007/978-3-642-04617-9_7
%P 49-56