Larsen, Kim G Niebert, Peter Eds.,
Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers - 1st ed. - New York Springer-Verlag 2004 - Lecture notes in computer science ; 02791 .
3540216715
681 LNCS
Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers - 1st ed. - New York Springer-Verlag 2004 - Lecture notes in computer science ; 02791 .
3540216715
681 LNCS