Formal Modeling and Analysis of Timed Systems – Lecture Notes in Computer Science : 4763(Paperback) 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings by Jean-Francois Raskin (Editor) , P.S. Thiagarajan (Editor)

৳ 2,777