scientific article
From MaRDI portal
Publication:4037089
zbMath0789.68094MaRDI QIDQ4037089
Susanne Graf, Bernhard Steffen
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Compositional failure-based semantic models for basic LOTOS ⋮ Compositionality in state space verification methods ⋮ A stubborn attack on state explosion ⋮ Refined Interfaces for Compositional Verification
This page was built for publication:
