A Dose of Timed Logic, in Guarded Measure

DOI10.1007/11867340_19zbMath1141.03310OpenAlexW1551896680MaRDI QIDQ3511241

Paritosh K. Pandya, Kamal Lodaya

Publication date: 8 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11867340_19

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44)

Related Items (1)

Logic in India -- editorial introduction

This page was built for publication: A Dose of Timed Logic, in Guarded Measure