Model Checking in Space with Applications to Medical Image Analysis - Invited Abstract.

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Browse the full FASE paper archive.