scientific article
From MaRDI portal
Publication:3413368
zbMath1110.68026MaRDI QIDQ3413368
Isabelle Linden, Jean-Marie Jacquet, Antonio Brogi
Publication date: 4 January 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) 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)
Related Items (1)
This page was built for publication: