A Refinement Calculus for Hybrid Systems.

Bin Gu, Liang Zou

Browse the full ICECCS paper archive.