Christel Baier
Christel Baier
6 ספרים במאגר
ספרים
Principles of model checkingChristel Baier
Principles of model checking
Christel Baier · 2008
Validation of stochastic systemsChristel Baier
Validation of stochastic systems
Christel Baier · 2004
Foundations of Software Science and Computation StructuresChristel Baier
Foundations of Software Science and Computation Structures
Christel Baier · 2018
Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier · 2018
Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier
Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier · 2015
CONCUR 2006 - Concurrency TheoryChristel Baier
CONCUR 2006 - Concurrency Theory
Christel Baier · 2006
ספרים משותפים ואוספים
ספרים שבהם Christel Baier מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
