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

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Originalsprog	Engelsk

Status	Udgivet - 2003

To appear as volume in Lecture Notes in Computer Science

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 -