Axiomatizing Extended Temporal Logic Fragments Via Instantiation
From MaRDI portal
Publication:3525094
DOI10.1007/978-3-540-75292-9_22zbMath1147.03306MaRDI QIDQ3525094
Wei Dong, Huowang Chen, Wanwei Liu, Ji Wang
Publication date: 17 September 2008
Published in: Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75292-9_22
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic