TY  - CONF
AU  - Cesta, Amedeo
AU  - Finzi, Alberto
AU  - Fratini, Simone
AU  - Orlandini, Andrea
AU  - Tronci, Enrico
PY  - 2008
DA  - 2008//
TI  - Merging Planning, Scheduling & Verification – A Preliminary Analysis
BT  - In Proc. of 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA)
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2008.pdf
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=24), last updated on Thu, 22 Nov 2012 14:59:18 +0100
ID  - Cesta_etal2008
ER  -