Vol-1285⫷ Vol-1286 ⫸Vol-1287
urn:nbn:de:0074-1286-0


Vol-1286/paper6⫷Vol-1286/paper7⫸Vol-1286/paper8
Esther GuerraJuan de Lara

Towards automating the analysis of integrity constraints in multi-level models