default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 10
Volume 10, Number 1, February 1997
- Edmund M. Clarke:
Editorial. 5 - Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny:
Multiway Decision Graphs for Automated Hardware Verification. 7-46 - Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi:
Another Look at LTL Model Checking. 47-71 - Walling R. Cyre, Aniruddha R. Thakar:
Generating Validation Feedback for Automatic Interpretation of Informal Requirements. 73-92 - Michael Merritt, Ariel Orda, Sonia R. Sachs:
Formal Verification of a Distributed Computer System. 93-125
Volume 10, Number 2/3, April 1997
- Masahiro Fujita, Patrick C. McGeer:
Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams. 135-136 - Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, Jerry Chih-Yuan Yang:
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. 137-148 - Masahiro Fujita, Patrick C. McGeer, Jerry Chih-Yuan Yang:
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. 149-169 - R. Iris Bahar
, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi:
Algebraic Decision Diagrams and Their Applications. 171-206 - Gary D. Hachtel, Fabio Somenzi:
A Symbolic Algorithms for Maximum Flow in 0-1 Networks. 207-219 - Shin-ichi Minato, Fabio Somenzi:
Arithmetic Boolean Expression Manipulator Using BDDs. 221-242 - Paul Tafertshofer, Massoud Pedram:
Factored Edge-Valued Binary Decision Diagrams. 243-270
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-13 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
