Bettina Engelen

According to our database, Bettina Engelen authored at least 2 papers between 1999 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Deciding Bisimilarity and Similarity for Probabilistic Processes.

Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum

J. Comput. Syst. Sci., 2000

1999

Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach.

Christel Baier, Bettina Engelen

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999