scientific article; zbMATH DE number 4128366
From MaRDI portal
Publication:4207567
zbMath0688.68019MaRDI QIDQ4207567
Orna Grumberg, Robert Kurshan, Edmund M. Clarke
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Theory of operating systems (68N25) Software, source code, etc. for problems pertaining to computer science (68-04)
Related Items (5)
CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus ⋮ TTL : a formalism to describe local and global properties of distributed systems ⋮ Axiomatising extended computation tree logic ⋮ Branching versus linear logics yet again ⋮ Axiomatising extended computation tree logic
This page was built for publication:
