Deciding Bisimilarity and Similarity for Probabilistic Processes (2000)

Cached

Download Links

by Christel Baier , Bettina Engelen , Mila Majster-Cederbaum
Citations:25 - 4 self