Vol-1091⫷ Vol-1092 ⫸Vol-1093
urn:nbn:de:0074-1092-0


Vol-1092/arendt⫷Vol-1092/bill⫸Vol-1092/brucker
Robert BillPetra KaufmannMartina SeidlSebastian Gabmeyer

OCL meets CTL: Towards CTL-Extended OCL Model Checking