%0 Journal Article %1 journals/tplp/GiordanoMSD13 %A Giordano, Laura %A Martelli, Alberto %A Spiotta, Matteo %A Dupré, Daniele Theseider %D 2013 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 641-655 %T Business process verification with constraint temporal answer set programming. %U http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#GiordanoMSD13 %V 13

@article{journals/tplp/GiordanoMSD13, added-at = {2023-09-30T00:00:00.000+0200}, author = {Giordano, Laura and Martelli, Alberto and Spiotta, Matteo and Dupré, Daniele Theseider}, biburl = {https://www.bibsonomy.org/bibtex/298991985ab5e8742f84ac89c0869ad2f/dblp}, ee = {https://www.wikidata.org/entity/Q58207597}, interhash = {b42c7bccc6ef9eff60eb973fcf8ec415}, intrahash = {98991985ab5e8742f84ac89c0869ad2f}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {641-655}, timestamp = {2024-04-09T05:34:40.000+0200}, title = {Business process verification with constraint temporal answer set programming.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#GiordanoMSD13}, volume = 13, year = 2013 }