scientific article; zbMATH DE number 1232244
From MaRDI portal
Publication:4223070
zbMath0907.68018MaRDI QIDQ4223070
Publication date: 3 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ An invariant-based approach to the verification of asynchronous parameterized networks ⋮ Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation
Uses Software
This page was built for publication:
