Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus.

Dimitar P. Guelev, Shuling Wang, Naijun Zhan

Browse the full SETTA paper archive.