Results for author 'Dirk, Ph. D. Beyer'

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Markovian Demand Inventory Models

International Series in Operations Research & Management Science

Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6â"11, 2019, Proceedings, Part III

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings