Login / Signup

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.

Laura NenziEzio BartocciLuca BortolussiMichele Loreti
Published in: Log. Methods Comput. Sci. (2022)
Keyphrases