scientific article; zbMATH DE number 1487862
From MaRDI portal
Publication:4494389
zbMath0957.68067MaRDI QIDQ4494389
Richard Trefler, E. Allen Emerson
Publication date: 10 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Context-aware counter abstraction, A lazy approach to symmetry reduction, Modeling and efficient verification of wireless ad hoc networks, Model and program repair via group actions, Multi-scale verification of distributed synchronisation, Vector Symmetry Reduction, On Hierarchical Communication Topologies in the $$\pi $$ -calculus, Combining symmetry reduction and under-approximation for symbolic model checking
Uses Software
