scientific article; zbMATH DE number 1487475

zbMath0954.68101MaRDI QIDQ4493879

Stefan Edelkamp, Frank Reffel

Publication date: 14 February 2001

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

zbMATH Keywords

binary decision diagrams

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Weighted \(A^*\) search - unifying view and application ⋮ State-set branching: leveraging BDDs for heuristic search ⋮ Survey on Directed Model Checking

This page was built for publication: