TY  - BOOK
AU  - Larsen, Kim G
AU  - Niebert, Peter Eds.,
TI  - Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers
SN  - 3540216715
CY  - New York
ER  -