%0 Journal Article %1 journals/ia/OrlandiniBCF14 %A Orlandini, Andrea %A Bernardi, Giulio %A Cesta, Amedeo %A Finzi, Alberto %D 2014 %J Intelligenza Artificiale %K dblp %N 1 %P 87-100 %T Planning meets verification and validation in a knowledge engineering environment. %U http://dblp.uni-trier.de/db/journals/ia/ia8.html#OrlandiniBCF14 %V 8

@article{journals/ia/OrlandiniBCF14, added-at = {2024-05-07T00:00:00.000+0200}, author = {Orlandini, Andrea and Bernardi, Giulio and Cesta, Amedeo and Finzi, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/26b67c19444dd087c7c5699ffcdf3e71c/dblp}, ee = {https://doi.org/10.3233/IA-140063}, interhash = {4e11a02c3fb36810b690cfef89d9eb0c}, intrahash = {6b67c19444dd087c7c5699ffcdf3e71c}, journal = {Intelligenza Artificiale}, keywords = {dblp}, number = 1, pages = {87-100}, timestamp = {2024-05-13T07:18:34.000+0200}, title = {Planning meets verification and validation in a knowledge engineering environment.}, url = {http://dblp.uni-trier.de/db/journals/ia/ia8.html#OrlandiniBCF14}, volume = 8, year = 2014 }