Elizabeth Wolf

According to our database, Elizabeth Wolf authored at least 4 papers between 1993 and 2002.

Collaborative distances:

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

2002

Becoming a computer scientist.

Amy Pearl, Martha E. Pollack, Eve A. Riskin, Becky Thomas, Elizabeth Wolf, Alice Wu

ACM SIGCSE Bull., 2002

1995

Hierarchical models of synchronous circuits for formal verification and substitution.

Elizabeth Wolf

PhD thesis, 1995

1994

Verifying the Summit Bus Converter Protocols with Symbolic Model Checking.

Cheryl Harkness, Elizabeth Wolf

Formal Methods Syst. Des., 1994

1993

Modeling hierarchical combinational circuits.

Jerry R. Burch, David L. Dill, Elizabeth Wolf, Giovanni De Micheli

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993