@InProceedings{Cesta_etal2009,
author="Cesta, Amedeo
and Finzi, Alberto
and Fratini, Simone
and Orlandini, Andrea
and Tronci, Enrico",
title="Flexible Plan Verification: Feasibility Results",
booktitle="16th RCRA International Workshop on {\textquoteleft}{\textquoteleft}Experimental evaluation of algorithms for solving problems with combinatorial explosion{\textquoteright}{\textquoteright} (RCRA). Proceedings",
year="2009",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=22), last updated on Sat, 24 Nov 2012 12:46:15 +0100",
opturl="http://ceur-ws.org/Vol-589/",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2009.pdf:PDF"
}