|
Proceedings of the 2nd International Workshop on Models for
Time-Critical Systems, MTCS '01, (Aalborg, Denmark, August 25, 2001)
Flavio Corradini
August 2001 |
Abstract:
This volume contains the preliminary proceedings of
MTCS '01 held at the University of Aalborg on August 25, 2001, as a satellite
workshop of CONCUR '01
Available as PDF. |