Dirk Beyer profile picture

Dirk Beyer

Is this your author profile? Create an account to customize it!

Stand Alone

Tools and Algorithms for the Construction and Analysis of Systems: Part I : 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
Markovian Demand Inventory Models
TOOLympics Challenge 2023
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... 2013, Florence, Italy, June 3-5
Teaching compendium: digital tools and literature
Teaching Compendium Multiliteracies Unterrichtshandreichung mit digitalen Extras
Teaching Compendium: Teaching Drama Methodic - Active - Creative