# Spatial logics and model checking for medical imaging

> Research article (International Journal on Software Tools for Technology Transfer, 2019) · cited 42× · AI/ML

**Wikidata**: [openalex:W2917102740](https://www.wikidata.org/wiki/openalex:W2917102740)  
**Source**: https://4ort.xyz/entity/spatial-logics-and-model-checking-for-medical-imaging