%0 Conference Proceedings
%T Flexible Plan Verification: Feasibility Results
%A Cesta, Amedeo
%A Finzi, Alberto
%A Fratini, Simone
%A Orlandini, Andrea
%A Tronci, Enrico
%S 16th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA). Proceedings
%D 2009
%F Cesta_etal2009
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=22), last updated on Sat, 24 Nov 2012 12:46:15 +0100
%U http://ceur-ws.org/Vol-589/
%U http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2009.pdf