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


Vol-2245/modevva_paper_2⫷Vol-2245/modevva_paper_3⫸Vol-2245/me_paper_1
Deepali KholkarDushyanthi MulpuruVinay Kulkarni

Balancing Model Usability and Verifiability with SBVR and Answer Set Programming