| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, ... Notes in Computer Science, Band 9361) | | 978-3-319-25140-0 | 2015 | Christian Berger |
| Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised ... Notes in Computer Science, Band 10107) | | 978-3-319-51737-7 | 2017 | Christian Berger · Rafael Wisniewski |
| Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings | | 978-3-030-03043-8 | 2018 | Tiago Massoni |
| Modeling and Analysis of Communicating Systems | | 978-0-262-02771-7 | 2014 | Jan Friso Groote |
| Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings | | 978-3-319-68952-4 | 2017 | Jiří Sgall |
| Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected ... Notes in Computer Science, Band 9541) | | 978-3-319-28677-8 | 2016 | Mohammed Taghi Hajiaghayi |