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.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2002

Becoming a computer scientist.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 2002

1995

Hierarchical models of synchronous circuits for formal verification and substitution.

[BibT_eX]

[DOI]

Elizabeth Wolf

PhD thesis, 1995

1994

Verifying the Summit Bus Converter Protocols with Symbolic Model Checking.

[BibT_eX]

[DOI]

Cheryl Harkness

Elizabeth Wolf

Formal Methods Syst. Des., 1994

1993

Modeling hierarchical combinational circuits.

[BibT_eX]

[DOI]

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

Elizabeth Wolf

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...