The decidability border of hereditary history preserving bisimilarity (2005)

Cached

Download Links

by S. B. Fröschle
Venue:Information Processing Letters
Citations:2 - 2 self