Planning Equational Verification in CCS

• Authors:

• R. Monroy;A. Bundy;I. Green

• Affiliations:

• -;-;-

• Venue:
• ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
• Year:
• 1998