scientific article

zbMath1272.68255MaRDI QIDQ2848656

Thomas Hérault, Guillaume Guirado, Sylvain Peyronnet, Richard Lassaigne

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000776

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (1)

Probabilistic verification and approximation

Uses Software

• APMC

This page was built for publication: