

An edition of Formal modeling and analysis of timed systems (2005)
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science)
By Wang Yi
Publish Date
January 23, 2006
Publisher
Springer
Language
eng
Pages
305