Formal Modeling and Analysis of Timed Systems
Subtitle: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
Publisher: Springer London, Limited
Published: 2007
Language: eng
Number of pages: 372
ISBN-13: 9783540754541