Amanote Research
Register
Sign In
Bisimulation Can't Be Traced
doi 10.1145/73560.73580
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1988
Authors
B. Bloom
S. Istrail
A. R. Meyer
Publisher
ACM Press