DMCA

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

by Bent Thomsen
Citations:6 - 0 self