A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - Invited Contribution

von Ciancia, Vincenzo
Veröffentlicht in SPIN (27. : 2021 : Online) Model Checking Software (2021)

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)

von Belmonte, Gina
Veröffentlicht in MEDI (10. : 2021 : Online) Advances in Model and Data Engineering in the Digitalization Era (2021)