%0 Journal Article %T Flexible Plan Verification: Feasibility Results %A Cesta, Amedeo %A Fratini, Simone %A Orlandini, Andrea %A Finzi, Alberto %A Tronci, Enrico %J Fundamenta Informaticae %D 2011 %V 107 %N 2 %F Cesta_etal2011 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=15), last updated on Fri, 13 Sep 2019 13:13:24 +0200 %R 10.3233/FI-2011-397 %U http://mclab.di.uniroma1.it/publications/papers/cesta/2011/15_Cesta_etal2011.pdf %U https://doi.org/10.3233/FI-2011-397 %P 111-137