@Article{Cesta_etal2011,
author="Cesta, Amedeo
and Fratini, Simone
and Orlandini, Andrea
and Finzi, Alberto
and Tronci, Enrico",
title="Flexible Plan Verification: Feasibility Results",
journal="Fundamenta Informaticae",
year="2011",
volume="107",
number="2",
pages="111--137",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=15), last updated on Fri, 13 Sep 2019 13:13:24 +0200",
doi="10.3233/FI-2011-397",
opturl="https://doi.org/10.3233/FI-2011-397",
file=":http://mclab.di.uniroma1.it/publications/papers/cesta/2011/15_Cesta_etal2011.pdf:PDF"
}