TY  - CONF
AU  - Cesta, Amedeo
AU  - Finzi, Alberto
AU  - Fratini, Simone
AU  - Orlandini, Andrea
AU  - Tronci, Enrico
PY  - 2009
DA  - 2009//
TI  - Flexible Plan Verification: Feasibility Results
BT  - 16th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA). Proceedings
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2009.pdf
UR  - http://ceur-ws.org/Vol-589/
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=22), last updated on Sat, 24 Nov 2012 12:46:15 +0100
ID  - Cesta_etal2009
ER  -