Modelling Real-Time Systems with Continuous-Time Temporal Logic.

Guangyuan Li, Zhisong Tang

Browse the full ICFEM paper archive.