Proceedings of the 2nd International Workshop on Models for Time-Critical Systems, MTCS '01, (Aalborg, Denmark, August 25, 2001)

Flavio Corradini
Walter Vogler
(editors)

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.

 

Last modified: 2003-06-04 by webmaster.