Bettina Engelen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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 Christel Baier, Bettina Engelen: Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach. ARTS 1999: 34-52

	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		Christel Baier, Bettina Engelen: Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach. ARTS 1999: 34-52

Coauthor Index