Skip to content
Vinony

Christel Baier

No biography available.

Works (3)

Cover of Principles of model checking
Principles of model checking
Cover of Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures
Cover of Validation of stochastic systems
Validation of stochastic systems