scientific article; zbMATH DE number 1796128

zbMath0991.68547MaRDI QIDQ4551139

Gianpiero Cabodi

Publication date: 4 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020118

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

binary decision diagrams

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Boolean functions (06E30)

Related Items (2)

A work-efficient distributed algorithm for reachability analysis ⋮ Benchmarking a model checker for algorithmic improvements and tuning for performance

This page was built for publication: