![](/img/cover-not-exists.png)
Business process verification with constraint temporal answer set programming
GIORDANO, LAURA, MARTELLI, ALBERTO, SPIOTTA, MATTEO, DUPRÉ, DANIELE THESEIDERVolume:
13
Language:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/s1471068413000409
Date:
July, 2013
File:
PDF, 231 KB
english, 2013