Author: Ricky W. Butler

Publications

Co-authors

Pamela Zave

1

Parameswaran Ramanathan

1

Kang G. Shin

1

Productive Colleagues

David Lorge Parnas

29

David Gries

31

Robert L. Glass

48

Publications

Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.

Ramanathan, Parameswaran, Shin, Kang G., Butler, Ricky W. (1990): Fault-Tolerant Clock Synchronization in Distributed Systems. In IEEE Computer, 23 (10) pp. 33-42.