CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Ben L. Di Vito and Ricky W. Butler, "Formal techniques for synchronized fault-tolerant systems ", in Dependable Computing for Critical Applications 3, Dependable Computing and FaultTolerant Systems, pp. 279--306. Springer Verlag, Wien New York, 1993.
Ben L. Di Vito and Ricky W. Butler. Formal techniques for synchronized faulttolerant systems. In C. E. Landwehr, B. Randell, and L. Simoncini, editors, Dependable Computing for Critical Applications---3, volume 8 of Dependable Computing and Fault-Tolerant Systems, pages 163--188. Springer-Verlag, Vienna, Austria, September 1992.
Ben L. Di Vito and Ricky W. Butler. Formal techniques for synchronized fault-tolerant systems. In 3rd IFIP Working Conference on Dependable Computing for Critical Applications, pages 85--97, Mondello, Sicily, Italy, September 1992. IFIP WG 10.4. Preprint proceedings.
Ben L. Di Vito and Ricky W. Butler, "Formal techniques for synchronized fault-tolerant systems", in Dependable Computing for Critical Applications---3, C. E. Landwehr, B. Randell, and L. Simoncini, Eds. Sept. 1992, vol. 8 of Dependable Computing and Fault-Tolerant Systems, pp. 163--188, Springer-Verlag, Vienna, Austria.
B. Di Vito and R. Butler. Formal Techniques for Synchronized Fault-Tolerant Systems. In Dependable Computing for Critical Applications -- 3, Dependable Computing and Fault-Tolerant Systems, pages 279--306. pringer Verlag, 1992.
Ben L. Di Vito and Ricky W. Butler. Formal techniques for synchronized faulttolerant systems. In C. E. Landwehr, B. Randell, and L. Simoncini, editors, Dependable Computing for Critical Applications---3, volume 8 of Dependable Computing and Fault-Tolerant Systems, pages 163--188. Springer-Verlag, Vienna, Austria, September 1992.
Ben L. Di Vito and Ricky W. Butler. Formal techniques for synchronized fault-tolerant systems. In C. E. Landwehr, B. Randell, and L. Simoncini, editors, Dependable Computing for Critical Applications---3, volume 8 of Dependable Computing and FaultTolerant Systems, pages 163--188. Springer-Verlag, Vienna, Austria, September 1992.
Ben L. Di Vito and Ricky W. Butler, \Formal techniques for synchronized fault-tolerant systems," in Dependable Computing for Critical Applications|3, C. E. Landwehr, B. Randell, and L. Simoncini, Eds. Sept. 1992, vol. 8 of Dependable Computing and Fault-Tolerant Systems, pp. 163-188, Springer-Verlag, Vienna, Austria.
Ben L. Di Vito and Ricky W. Butler, \Formal techniques for synchronized fault-tolerant systems", in Dependable Computing for Critical Applications|3, C. E. Landwehr, B. Randell, and L. Simoncini, Eds. Sept. 1992, vol. 8 of Dependable Computing and Fault-Tolerant Systems, pp. 163-188, Springer-Verlag, Vienna, Austria.
Ben L. Di Vito and Ricky W. Butler. Formal techniques for synchronized fault-tolerant systems. In C. E. Landwehr, B. Randell, and L. Simoncini, editors, Dependable Computing 18 for Critical Applications---3. Volume 8 of Springer-Verlag, Vienna, Austria Dependable Computing and Fault-Tolerant Systems, pages 163--188, September 1992. 16
Ben L. Di Vito and Ricky W. Butler. Formal techniques for synchronized fault-tolerant systems. In Landwehr et al. [LRS92], pages 163--188.