@InProceedings{Cesta_etal2008,
author="Cesta, Amedeo
and Finzi, Alberto
and Fratini, Simone
and Orlandini, Andrea
and Tronci, Enrico",
title="Merging Planning, Scheduling {\&} Verification -- A Preliminary Analysis",
booktitle="In Proc. of 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA)",
year="2008",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=24), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2008.pdf:PDF"
}