cTc - A Tool Supporting the Construction of cTLA-Specifications

• Authors:

• Carsten Heyl;Arnulf Mester;Heiko Krumm

• Affiliations:

• -;-;-

• Venue:
• TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
• Year:
• 1996