"A distributed logic for Networked Cyber-Physical Systems."

Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott (2013)

Details and statistics

DOI: 10.1016/J.SCICO.2013.01.011

access: open

type: Journal Article

metadata version: 2021-02-17