Document - Spatial model checking for medical imaging

2017

Report Open Access

Spatial model checking for medical imaging - Preliminary version

Banci Bonamici F., Belmonte G., Ciancia V., Latella D., Massink M.

Model logics Spatial logics Spatial model-checking Medical imaging

The application of the topochecker spatial-model-cheker to medical imaging is described.

Source: ISTI Technical reports, 2017

Back to previous page

Cite as

BibTeX entry

@techreport{oai:it.cnr:prodotti:380928,
	title = {Spatial model checking for medical imaging - Preliminary version},
	author = {Banci Bonamici F. and Belmonte G. and Ciancia V. and Latella D. and Massink M.},
	institution = {ISTI Technical reports, 2017},
	year = {2017}
}