scientific article; zbMATH DE number 2087402

zbMath1053.68562MaRDI QIDQ4738189

E. P. de Vink, L. P. J. Groenewegen

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2315/23150191.htm

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Dynamic consistency in process algebra: from paradigm to ACP ⋮ Dynamic Consistency in Process Algebra: From Paradigm to ACP ⋮ Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets

Uses Software

• MANIFOLD

This page was built for publication: