OtiumSessione
Sessione
Non abbiamo ancora una biografia di Christel Baier.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Principles of model checking
2008
Foundations of Software Science and Computation Structures
2018
Validation of stochastic systems
2004
Tools and Algorithms for the Construction and Analysis of Systems
2015
SOFSEM 2017 : Theory and Practice of Computer Science
2017
Formal Techniques for Distributed Objects, Components, and Systems
2018
CONCUR 2006 - Concurrency Theory
2006