Verifying Timed and Linear Hybrid Rule-Systems with RED.

Farn Wang, Rong-Shiung Wu, Geng-Dian Huang

Browse the full SEKE paper archive.