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


None⫷None⫸None

Business Processes Verification with Temporal Answer Set Programming