CCSTOOL2
Subtitle: an expansion, minimization, and verification tool for finite state CCS descriptions
By: A. van Rangelrooij, J.P.M. Voeten
Series: EUT report -- 94-E-284; Eindhoven University of Technology research reports -- EUT report 94-E-284
Publisher: Eihdhoven Univeristy of Technology
Published: 1994
Place of publication: Eindhoven
Language: eng
Number of pages: 64
Subjects: Parallel programs (Computer programs); CCSTOOL2 (Computer file)
Notes: "December 1994."

Includes bibliographical references (p. 61-64).