Tomeki
Cover of Formal modeling and analysis of timed systems

Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science)

By Wang Yi

0 (0 Ratings)
0 Want to read0 Currently reading0 Have read

Publish Date

January 23, 2006

Publisher

Springer

Language

eng

Pages

305

Book Lists