Publication:4654277
From MaRDI portal
zbMath1088.68110MaRDI QIDQ4654277
Publication date: 3 March 2005
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Bounded semantics, Bounded model checking for knowledge and real time, Linear templates of ACTL formulas with an application to SAT-based verification