Title | From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday |
Publication Type | Miscellaneous |
Year of Publication | 2019 |
Authors | Bartocci, Ezio, Cleaveland Rance, Grosu Radu, and Sokolsky Oleg |