scientific article; zbMATH DE number 1755142
From MaRDI portal
Publication:4535176
zbMath0986.68017MaRDI QIDQ4535176
Publication date: 13 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2075/20750144
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Control/observation systems involving computers (process control, etc.) (93C83) 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:
