scientific article
From MaRDI portal
Publication:2845500
zbMath1271.68147MaRDI QIDQ2845500
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105800064
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication:
