A Companion to Coalgebraic Weak Bisimulation for Action-Type Systems (2009)

by Ana Sokolova , Erik de Vink , Harald Woracek
Citations:1 - 0 self