scientific article; zbMATH DE number 1487480
From MaRDI portal
Publication:4493884
zbMath0954.68053MaRDI QIDQ4493884
Publication date: 19 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: