Login / Signup

Deciding Bisimilarity and Similarity for Probabilistic Processes.

Christel BaierBettina EngelenMila E. Majster-Cederbaum
Published in: J. Comput. Syst. Sci. (2000)
Keyphrases