Sebastian Junges

Sebastian Junges

1 books in the database

Books

Tools and Algorithms for the Construction and Analysis of SystemsSebastian Junges

Tools and Algorithms for the Construction and Analysis of Systems

Sebastian Junges · 2026

Co-authored books and collections

Books that list Sebastian Junges among their authors but not as the lead author: co-written works, collections and compilations.

Principles of Verification : Cycling the Probabilistic LandscapeNils Jansen

Principles of Verification : Cycling the Probabilistic Landscape

Nils Jansen · 2024