"Applied Graph Transformation and Verification With Use Cases in Malaria ..."

Jon Haël Brenas et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics