Statistical Model Checking in Drug Repurposing for Alzheimer's Disease

von Fernandes, Herbert Rausch
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)