Bettina Engelen

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

Publications

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