scientific article

From MaRDI portal

Revision as of 12:00, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3761688

Jump to:navigation, search

zbMath0623.68030MaRDI QIDQ3761688

Bernhard Josko

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

temporal logic modular verification method for concurrent systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (3)

Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) ⋮ Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach ⋮ Compositional minimisation of finite state systems using interface specifications

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3761688&oldid=17301664"