Weak Bisimulation for Action-Type Coalgebras

Cached

Download Links

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