scientific article
From MaRDI portal
Publication:2764000
zbMath0977.68585MaRDI QIDQ2764000
Leszek Holenderski, Dennis Dams, Dragan Bošnački
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2021/20210518
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)
Related Items (2)
Symmetry and partial order reduction techniques in model checking Rebeca ⋮ An invariant-based approach to the verification of asynchronous parameterized networks
This page was built for publication: