Testing Equivalence as a Bisimulation Equivalence (1993)

Cached

Download Links

by Rance Cleaveland , Matthew Hennessy
Venue:Formal Aspects of Computing
Citations:64 - 10 self