W. Stewart

According to our database, W. Stewart authored at least 1 paper in 1998.

Collaborative distances:

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

1998

TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.

Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart

Proceedings of the Formal Description Techniques and Protocol Specification, 1998