Vol-1238⫷ Vol-1239 ⫸Vol-1240
urn:nbn:de:0074-1239-0


Vol-1239/paper5⫷Vol-1239/paper6
Axel LegayUli Fahrenberg

Configurable Formal Methods for Extreme Modeling