AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Christel Baier

Christel Baier

Technische Universität Dresden - Dresden / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1780229
Dresden University of Technology
person_outline Christel Baier's MOST POPULAR ARTICLES
1-) Principles of model checking MIT press, 2008
2-) Model-checking algorithms for continuous-time Markov chains IEEE Transactions on software engineering 29 (6), 524-541, 2003
3-) Modeling component connectors in Reo by constraint automata Science of computer programming 61 (2), 75-113, 2006
4-) Approximative symbolic model checking of continuous-time Markov chains International Conference on Concurrency Theory, 146-161, 1999
5-) Model checking for a probabilistic branching time logic with fairness Distributed Computing 11 (3), 125-155, 1998