@dblp

A distributed logic for Networked Cyber-Physical Systems.

, , and . Sci. Comput. Program., 78 (12): 2453-2467 (2013)

Links and resources

Tags