| |
| 2000 | ||
|---|---|---|
| 2 | Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum: Deciding Bisimilarity and Similarity for Probabilistic Processes. J. Comput. Syst. Sci. 60(1): 187-231 (2000) | |
| 1999 | ||
| 1 | EE | Christel Baier, Bettina Engelen: Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach. ARTS 1999: 34-52 |
| 1 | Christel Baier | [1] [2] |
| 2 | Mila E. Majster-Cederbaum | [2] |