activity
20102021
most citedBeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems

24 citations · 120 across the 25 of their papers we have counts for

collaborators
Showing 2016 · cs.PLShow all

Nothing from them under that filter.

Their other years and fields are still on the left.