VoxLogicA: A Spatial Model Checker for Declarative Image Analysis
Lecture Notes in Computer Science- Germany
doi 10.1007/978-3-030-17462-0_16
Full Text
Abstract
Available in
Date
January 1, 2019
Authors
Publisher
Springer International Publishing
doi 10.1007/978-3-030-17462-0_16
Available in
January 1, 2019
Springer International Publishing