Author: Ricky W. Butler
Publications
Publication period start: 1990
Publication period end: 1996
Number of co-authors: 16
Co-authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
- David Lorge Parnas
- David Gries
- Robert L. Glass
- 29
- 31
- 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.