scientific article; zbMATH DE number 1140074

zbMath0893.68065MaRDI QIDQ4385178

Hakan Erdogmus

Publication date: 3 August 1998

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

zbMATH Keywords

compositional verificationconcurrent system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

This page was built for publication: