Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dingbao Xie, Lei Bu, Xuandong Li. Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification. In Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014. pages 128-137, IEEE, 2014. [doi]

This author has not been identified. Look up 'Dingbao Xie' in GoogleThis author has not been identified. Look up 'Lei Bu' in GoogleThis author has not been identified. Look up 'Xuandong Li' in Google

runs on WebDSL