Sebastian Junges

Sebastian Junges

1 ספרים במאגר

ספרים

Tools and Algorithms for the Construction and Analysis of SystemsSebastian Junges

Tools and Algorithms for the Construction and Analysis of Systems

Sebastian Junges · 2026

ספרים משותפים ואוספים

ספרים שבהם Sebastian Junges מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Principles of Verification : Cycling the Probabilistic LandscapeNils Jansen

Principles of Verification : Cycling the Probabilistic Landscape

Nils Jansen · 2024