Cyber & formal methods publications December 1, 2013 ArticleA Distributed Logic for Networked Cyber-Physical Systems SRI author: Carolyn Talcott Citation Copy to clipboard Kim, M., Stehr, M.-O., & Talcott, C. (2013). A distributed logic for Networked Cyber-Physical Systems. Science of Computer Programming, 78(12), 2453-2467. ↓ View online Share this