scientific article
From MaRDI portal
Publication:2848663
zbMath1272.68272MaRDI QIDQ2848663
Thomas Kropf, Roland J. Weiss, Prakash Peranandam, Wolfgang Rosenstiel, Pradeep K. Nalla, Jürgen Ruf
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610600079X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)
This page was built for publication:
