Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paul Pettersson, Wang Yi, editors, Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Volume 3829 of Lecture Notes in Computer Science, Springer, 2005.

Conference: formats2005

This author has not been identified. Look up 'Paul Pettersson' in GoogleThis author has not been identified. Look up 'Wang Yi' in Google

runs on WebDSL