Title
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).
Year
Venue
DocType
2017
Dagstuhl Reports
Journal
Volume
Issue
Citations 
7
5
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Calin Belta12197153.54
Rupak Majumdar23401220.08
Zamani, M.310031.24
Matthias Rungger410513.44