12 citations · 16 across the 4 of their papers we have counts for
1 paper · 1 filter
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia +2
Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. In the la…