scientific article
From MaRDI portal
Publication:2843710
zbMath1270.68083MaRDI QIDQ2843710
Publication date: 23 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104808326
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) 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:
