The University of Warwick Library - WebBridge

A unifying specification logic for cyber-physical systems
Bujorianu, Marius C..  17th Mediterranean Conference on Control and Automation, 2009. MED '09.    2009. p. 1166 - 1171... issn: 9781424446841 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.