TY - JOUR AU - Cesta, Amedeo AU - Fratini, Simone AU - Orlandini, Andrea AU - Finzi, Alberto AU - Tronci, Enrico PY - 2011 DA - 2011// TI - Flexible Plan Verification: Feasibility Results JO - Fundamenta Informaticae SP - 111 EP - 137 VL - 107 IS - 2 L1 - http://mclab.di.uniroma1.it/publications/papers/cesta/2011/15_Cesta_etal2011.pdf UR - https://doi.org/10.3233/FI-2011-397 DO - 10.3233/FI-2011-397 N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=15), last updated on Fri, 13 Sep 2019 13:13:24 +0200 ID - Cesta_etal2011 ER -