Vol-2517⫷ Vol-2518 ⫸Vol-2519
urn:nbn:de:0074-2518-0


Vol-2518/paper-ODLS9⫷Vol-2518/paper-ODLS10⫸Vol-2518/paper-ODLS11
Fumiaki Toyoshima

Formalizing a General Disease Module