The Concurrency Factory Software Development Environment

• Authors:

• Rance Cleaveland;Philip M. Lewis;Scott A. Smolka;Oleg Sokolsky

• Affiliations:

• -;-;-;-

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