scientific article
From MaRDI portal
Publication:3316557
zbMath0533.68010MaRDI QIDQ3316557
Amir Pnueli, Jonathan Stavi, Krzysztof R. Apt
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items
Ten years of Hoare's logic: A survey. II: Nondeterminism, An investigation of controls for concurrent systems based on abstract control languages, A taxonomy of fairness and temporal logic problems for Petri nets
