Proceedings of First International Workshop on Formal Modeling and Analysis of Timed, Marseille, September 2003

Research output: Book/Report › Book › Research

Original language	English

Publication status	Published - 2003

AUB Link

TY - BOOK

T1 - Proceedings of First International Workshop on Formal Modeling and Analysis of Timed, Marseille, September 2003

AU - Larsen, Kim Guldstrand (ed.)

AU - Niebert, Peter (ed.)

N1 - To appear as volume in Lecture Notes in Computer Science

PY - 2003

Y1 - 2003

M3 - Book

BT - Proceedings of First International Workshop on Formal Modeling and Analysis of Timed, Marseille, September 2003

ER -