Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... Notes in Computer Science (3253), Band 3253)
von:
Yassine Lakhnech
·
Sergio Yovine
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-23167-7
ISBN-10: 3-540-23167-6
Springer
· 2008
