scientific article
From MaRDI portal
Publication:2786907
zbMath1331.68141MaRDI QIDQ2786907
Gianpaolo Rossi, Francesco Alberti, Silvio Ranise, Silvio Ghilardi, Elena Pagani
Publication date: 23 February 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms ⋮ SMT-based generation of symbolic automata ⋮ Verification of SMT systems with quantifiers ⋮ SMT-based verification of data-aware processes: a model-theoretic approach ⋮ An extension of lazy abstraction with interpolation for programs with arrays ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
This page was built for publication:
