Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Lecture Notes in Computer Science, 4763)
詳しい情報
出版社: Springer(2007-11-28)
ペーパーバック: 384 ページ / 15.5 x 2.2 x 23.5 cm
ISBN-10: 3540754539 ISBN-13: 9783540754534