Bernd Finkbeiner
Bernd Finkbeiner
3 books in the database
Books
Verification, Model Checking, and Abstract InterpretationBernd Finkbeiner
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner · 2022
Runtime VerificationBernd Finkbeiner
Runtime Verification
Bernd Finkbeiner · 2019
Automated Technology for Verification and AnalysisBernd Finkbeiner
Automated Technology for Verification and Analysis
Bernd Finkbeiner · 2015
Co-authored books and collections
Books that list Bernd Finkbeiner among their authors but not as the lead author: co-written works, collections and compilations.
Fields of Logic and Computation IILev D. Beklemishev
Fields of Logic and Computation II
Lev D. Beklemishev · 2015
Design and Verification of Cyber-Physical Systems : from Theory to ApplicationsAndreas Rauh
Design and Verification of Cyber-Physical Systems : from Theory to Applications
Andreas Rauh · 2026