Vol-434⫷ Vol-435 ⫸Vol-436
urn:nbn:de:0074-435-0


Vol-435/paper-8⫷Vol-435/paper-9⫸Vol-435/paper-10

Supporting Process Development in Bio-jETI by Model Checking and Synthesis