scientific article
From MaRDI portal
Publication:2843917
zbMath1270.68206MaRDI QIDQ2843917
Agostino Cortesi, Chiara Braghin, Riccardo Focardi
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104810107
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)
Related Items (1)
This page was built for publication:
