An Extended Bisimulation Induced by a Preorder on Actions (1987)

Cached

Download Links

by Bent Thomsen
Citations:4 - 0 self