A. N. Parashkevov

发表

ARC-a tool for efficient refinement and equivalence checking for CSP

A. N. Parashkevov, J. Yantchev, A. Parashkevov, 1996, Proceedings of 1996 IEEE Second International Conference on Algorithms and Architectures for Parallel Processing, ICA/sup 3/PP '96.