Multi-terminal binary decision diagrams

MaRDI QIDQ1355341zbMATH OpenFDO

Authors

Publication date 23 May 1997

Published in Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

Binary decision diagrams

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to operations research and mathematical programming (90-06)

Review text

The articles of this volume will be reviewed individually in CompuScience (STN International).

Cited in

(2)

• scientific article; zbMATH DE number 846270 (Why is no real title available?)
• A new algorithm for partitioned symbolic reachability analysis

This page was built for publication: Multi-terminal binary decision diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1355341)