Journals in DBLP

Formal Methods in System Design
1997, volume: 10, number: 2/3

1. Masahiro Fujita, Patrick C. McGeer
   Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1997, v:10, n:2/3, pp:135-136 [Journal]
   
2. Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang
   Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1997, v:10, n:2/3, pp:137-148 [Journal]
   
3. Masahiro Fujita, Patrick C. McGeer, Jerry Chih-Yuan Yang
   Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1997, v:10, n:2/3, pp:149-169 [Journal]
   
4. R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
   Algebraic Decision Diagrams and Their Applications. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1997, v:10, n:2/3, pp:171-206 [Journal]
   
5. Gary D. Hachtel, Fabio Somenzi
   A Symbolic Algorithms for Maximum Flow in 0-1 Networks. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1997, v:10, n:2/3, pp:207-219 [Journal]
   
6. Shin-ichi Minato, Fabio Somenzi
   Arithmetic Boolean Expression Manipulator Using BDDs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1997, v:10, n:2/3, pp:221-242 [Journal]
   
7. Paul Tafertshofer, Massoud Pedram
   Factored Edge-Valued Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1997, v:10, n:2/3, pp:243-270 [Journal]