DMCA

Business Processes Verification with Temporal Answer Set Programming ⋆

Cached

Download Links

by L. Giordano , A. Martelli , M. Spiotta , D. Theseider Dupré