back icon
close icon

Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn")

Article  December 1, 2013

A Distributed Logic for Networked Cyber-Physical Systems

SRI Authors Carolyn Talcott

Citation

COPY

Kim, M., Stehr, M.-O., & Talcott, C. (2013). A distributed logic for Networked Cyber-Physical Systems. Science of Computer Programming, 78(12), 2453-2467.

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you. Expect a response within 48 hours.

Our Privacy Policy