Dirk Beyer

Der Gehalt an freien Adeninnucleotiden, an anorganischem Phosphat und Milchsäure in Rinderlinsen in Abhängkeit vom Lebensalter

Verification, Model Checking, and Abstract Interpretation

Formal Techniques for Distributed Systems

Fundamental Approaches to Software Engineering

Theoretische und Methodische Ansatze Zum Innovationsmarketing

Tests and Proofs

Tools and Algorithms for the Construction and Analysis of Systems

TOOLympics Challenge 2023

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Markovian Demand Inventory Models

Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts