Elizabeth Wolf

Publication Activity (10 Years)

Years Active: 1990-2002
Publications (10 Years): 0

Publications

Amy Pearl, Martha E. Pollack, Eve A. Riskin, Becky Thomas, Elizabeth Wolf, Alice Wu
Becoming a computer scientist. ACM SIGCSE Bull. 34 (2) (2002)
Cheryl Harkness, Elizabeth Wolf
Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. Formal Methods Syst. Des. 4 (2) (1994)
Jerry R. Burch, David L. Dill, Elizabeth Wolf, Giovanni De Micheli
Modeling hierarchical combinational circuits. ICCAD (1993)
Amy Pearl, Martha E. Pollack, Eve A. Riskin, Becky Thomas, Elizabeth Wolf, Alice Wu
Becoming A Computer Scientist. Commun. ACM 33 (11) (1990)