scientific article
From MaRDI portal
Publication:2843718
zbMath1270.68184MaRDI QIDQ2843718
Publication date: 23 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806303
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logics of knowledge and belief (including belief change) (03B42) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) 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:
