Compositional Abstraction Refinement for Timed Systems.

Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu

Browse the full TASE paper archive.