| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico | Verifying Flexible Timeline-based Plans | 2009 | E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems |