%0 Conference Paper %1 conf/ki/CestaFFOT09 %A Cesta, Amedeo %A Finzi, Alberto %A Fratini, Simone %A Orlandini, Andrea %A Tronci, Enrico %B KI %D 2009 %E Mertsching, Bärbel %E Hund, Marcus %E Aziz, Muhammad Zaheer %I Springer %K dblp %P 49-56 %T Flexible Timeline-Based Plan Verification. %U http://dblp.uni-trier.de/db/conf/ki/ki2009.html#CestaFFOT09 %V 5803 %@ 978-3-642-04616-2

@inproceedings{conf/ki/CestaFFOT09, added-at = {2019-09-25T00:00:00.000+0200}, author = {Cesta, Amedeo and Finzi, Alberto and Fratini, Simone and Orlandini, Andrea and Tronci, Enrico}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e21b12d7072deb36075e64a49bdd7178/dblp}, booktitle = {KI}, crossref = {conf/ki/2009}, editor = {Mertsching, Bärbel and Hund, Marcus and Aziz, Muhammad Zaheer}, ee = {https://www.wikidata.org/entity/Q58615456}, interhash = {aea08fa6493ae8653d671e811899a9bb}, intrahash = {e21b12d7072deb36075e64a49bdd7178}, isbn = {978-3-642-04616-2}, keywords = {dblp}, pages = {49-56}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:43:55.000+0200}, title = {Flexible Timeline-Based Plan Verification.}, url = {http://dblp.uni-trier.de/db/conf/ki/ki2009.html#CestaFFOT09}, volume = 5803, year = 2009 }