Publication:3395959
From MaRDI portal
zbMath1169.03332MaRDI QIDQ3395959
Publication date: 15 September 2009
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Related Items
From Monadic Logic to PSL, Decentralised LTL monitoring, On the succinctness of some modal logics, A compositional automata-based semantics and preserving transformation rules for testing property patterns, On regular temporal logics with past, On the expressiveness of TPTL and MTL, Expressiveness of Hybrid Temporal Logic on Data Words, From Philosophical to Industrial Logics