Erica A. Frohm

According to our database, Erica A. Frohm authored at least 1 paper in 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Algebraic Decision Diagrams and Their Applications.

R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi

Formal Methods Syst. Des., 1997