Number of items: 1.
Belta, Calin and Majumdar, Rupak and Zamani, Majid and Rungger, Matthias
(2017)
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).
Dagstuhl Reports, 7 (5).
84–96.
This list was generated on Thu Jan 26 00:04:28 2023 CET.