W. Ewald

According to our database, W. Ewald authored at least 1 paper in 1984.

Collaborative distances:

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

1984

Temporal Verification of Carrier-Sense Local Area Network Protocols.

Dennis E. Shasha, Amir Pnueli, W. Ewald

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984