Vol-860⫷ Vol-861 ⫸Vol-862
urn:nbn:de:0074-861-0


None⫷None⫸None
Matteo SpiottaAlberto MartelliLaura Giordano 0001Daniele Theseider Dupré

Business Processes Verification with Temporal Answer Set Programming