Induction in the timed interval calculus
From MaRDI portal
Publication:1399964
DOI10.1016/S0304-3975(01)00378-4zbMath1028.68086MaRDI QIDQ1399964
Publication date: 30 July 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work