Check It Out: On the Efficient Formal Verification of Live Sequence Charts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke. Check It Out: On the Efficient Formal Verification of Live Sequence Charts. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 219-233, Springer, 2006. [doi]

This author has not been identified. Look up 'Jochen Klose' in GoogleThis author has not been identified. Look up 'Tobe Toben' in GoogleThis author has not been identified. Look up 'Bernd Westphal' in GoogleThis author has not been identified. Look up 'Hartmut Wittke' in Google

runs on WebDSL