Testing Equivalence as a Bisimulation Equivalence (1993)

Cached

Download Links

by Rance Cleaveland , Matthew Hennessy
Venue:Formal Aspects of Computing
Citations:65 - 11 self

Document Versions

Testing Equivalence as a Bisimulation Equivalence –Rance Cleaveland , Matthew Hennessy — 1993 — Formal Aspects of Computing