%0 Conference Paper %1 conf/clima/DAprileGGMPD10 %A D'Aprile, Davide %A Giordano, Laura %A Gliozzi, Valentina %A Martelli, Alberto %A Pozzato, Gian Luca %A Dupré, Daniele Theseider %B CLIMA %D 2010 %E Dix, Jürgen %E Leite, João %E Governatori, Guido %E Jamroga, Wojtek %I Springer %K dblp %P 99-116 %T Verifying Business Process Compliance by Reasoning about Actions. %U http://dblp.uni-trier.de/db/conf/clima/clima2010.html#DAprileGGMPD10 %V 6245 %@ 978-3-642-14976-4

@inproceedings{conf/clima/DAprileGGMPD10, added-at = {2023-09-30T00:00:00.000+0200}, author = {D'Aprile, Davide and Giordano, Laura and Gliozzi, Valentina and Martelli, Alberto and Pozzato, Gian Luca and Dupré, Daniele Theseider}, biburl = {https://www.bibsonomy.org/bibtex/2354a6e31f8b2557e3111df4f9aed4586/dblp}, booktitle = {CLIMA}, crossref = {conf/clima/2010}, editor = {Dix, Jürgen and Leite, João and Governatori, Guido and Jamroga, Wojtek}, ee = {https://www.wikidata.org/entity/Q58207610}, interhash = {ffee75f2b500654618f3365f9370f82b}, intrahash = {354a6e31f8b2557e3111df4f9aed4586}, isbn = {978-3-642-14976-4}, keywords = {dblp}, pages = {99-116}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:09:01.000+0200}, title = {Verifying Business Process Compliance by Reasoning about Actions.}, url = {http://dblp.uni-trier.de/db/conf/clima/clima2010.html#DAprileGGMPD10}, volume = 6245, year = 2010 }