scientific article; zbMATH DE number 1759449
From MaRDI portal
Publication:4536399
zbMath0996.68112MaRDI QIDQ4536399
Shahar Maoz, Alexander Rabinovich
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Limiting Until in Ordered Tree Query Languages ⋮ Future temporal logic needs infinitely many modalities ⋮ An infinite hierarchy of temporal logics over branching time
