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

Andrei Borshchev, Yuri G. Karpov, Victor Roudakov

Browse the full PACT paper archive.