scientific article
From MaRDI portal
Publication:2845491
zbMath1271.68141MaRDI QIDQ2845491
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105800957
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms (68W40) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)
Related Items (1)
This page was built for publication:
