DMCA

ARC - A Tool for Efficient Refinement and Equivalence Checking for CSP (1996)

Cached

Download Links

by Atanas N. Parashkevov , Jay Yantchev
Venue:In IEEE Int. Conf. on Algorithms and Architectures for Parallel Processing ICA3PP '96
Citations:4 - 1 self