scientific article; zbMATH DE number 2087626
From MaRDI portal
Publication:4738473
zbMath1077.68680MaRDI QIDQ4738473
No author found.
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2318/23180128.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
CTL model checking on a shared-memory architecture ⋮ A Multi-Core Solver for Parity Games ⋮ Unnamed Item ⋮ Measuring and Evaluating Parallel State-Space Exploration Algorithms
This page was built for publication:
