Vol-1453⫷ Vol-1454 ⫸Vol-1455
urn:nbn:de:0074-1454-0


Vol-1454/preface⫷Vol-1454/ramics15-st_1-8⫸Vol-1454/ramics15-st_9-14

Decision Methods for Concurrent Kleene Algebra with Tests: Based on Derivative