A Dose of Timed Logic, in Guarded Measure.

Kamal Lodaya Paritosh K. Pandya A Dose of Timed Logic, in Guarded Measure. 260-273 2006 conf/formats/2006 FORMATS http://dx.doi.org/10.1007/11867340_19 db/conf/formats/formats2006.html#LodayaP06