A distributed logic for Networked Cyber-Physical Systems
Kim, Minyoung, Stehr, Mark-Oliver, Talcott, CarolynVolume:
78
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2013.01.011
Date:
December, 2013
File:
PDF, 667 KB
english, 2013