Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance

Jon Haƫl Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad. Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. IEEE Access, 6:64728-64741, 2018. [doi]

Abstract

Abstract is missing.