Formal Modeling and Analysis of Timed Systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Eugene Asarin, Patricia Bouyer (edición)
التنسيق: كتاب
اللغة:الإنجليزية
منشور في: Berlín, Alemania : Springer, 2006, c2006
سلاسل:(Lecture Notes in Computer Science)
الوصول للمادة أونلاين:Ver documento en línea
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
الوصف
وصف مادي:1 libro electrónico en línea (XII, 372 p.)
1 recurso en línea
ردمك:978-3-540-45031-3
تدمد:1611-3349
وصول:Licencias ilimitadas