COVERS - A Tool for the Design of Real-time Concurrent Systems

• Authors:

• Andrei Borshchev;Yuri Karpov;Victor Roudakov

• Affiliations:

• -;-;-

• Venue:
• PaCT '95 Proceedings of the 3rd International Conference on Parallel Computing Technologies
• Year:
• 1995