Vol-2244⫷ Vol-2245 ⫸Vol-2246
urn:nbn:de:0074-2245-0


Vol-2245/ocl_paper_7⫷Vol-2245/ocl_paper_8⫸Vol-2245/ocl_paper_9
Gwendal Daniel

Efficient Validation of Large Models using the Mogwaı̈ Tool