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]
No references recorded for this publication.
No citations of this publication recorded.