A Formal Proof of the Soundness of the Hybrid CPS Clock Theory.

Jianlin Wang, Chao Peng, Zhenbing Zeng

Browse the full TASE paper archive.