William T. Overman

According to our database, William T. Overman authored at least 3 papers between 1977 and 1982.

Collaborative distances:

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

1982

Verification of Concurrent Systems: Function and Timing.

William T. Overman, Stephen D. Crocker

Proceedings of the Protocol Specification, 1982

1981

A multiprocessor description language.

William T. Overman, Stephen D. Crocker, Vittal Kini

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1977

Developing a SARA building block - the 8080.

William T. Overman, Gerald Estrin

Proceedings of the Symposium on Design Automation and Microprocessors, 1977