Weak Bisimulation for Fully Probabilistic Processes (1999)

by Christel Baier , Holger Hermanns
Citations:57 - 7 self