Business Processes Verification with Temporal Answer Set Programming.

Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupr

Browse the full KR paper archive.