| Original language | English |
|---|
| Publication status | Published - 2002 |
|---|
Preliminary Proceedings of the 3rd International Workshop on Models for Time-Critical Systems (MTCS '02)
W (ed.) Vogler, Kim Guldstrand Larsen
Research output: Book/Report › Book › Research