Specification and Verification of Dynamic Communication Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal. Specification and Verification of Dynamic Communication Systems. In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland. pages 189-200, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Jörg Bauer' in GoogleIdentified as Ina Schaefer This author has not been identified. Look up 'Tobe Toben' in GoogleThis author has not been identified. Look up 'Bernd Westphal' in Google

runs on WebDSL