Weak Bisimulation for Fully Probabilistic Processes (1999)

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