CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
William D. Young, "Verifying the interactive convergence clock synchronization algorithm using the boyer-moore theorem prover", NASA CR-189649, Apr. 1992.
W.D. Young. Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover. Contractor Report 189649, NASA, 1992.
Young, William D.: Verifying the Interactive Convergence Clock Synchronization Algorithm Using the Boyer-Moore Theorem Prover. NASA Contractor Report 189649, Apr. 1992.
William D. Young. Verifying the Interactive Convergence clock-synchronization algorithm using the Boyer-Moore prover. Internal Note 199, Computational Logic Incorporated, Austin, TX, January 1991.
Young, William D.: Verifying the Interactive Convergence Clock Synchronization Algorithm Using the Boyer-Moore Theorem Prover. NASA Contractor Report 189649, Apr. 1992.
W.D. Young, "Verifying the Interactive Convergence Clock Synchronization Algorithm Using the Boyer-Moore Theorem Prover ", Internal Note 199, Computational Logic, Inc., 1717 W. Sixth Street, Suite 290, Austin, TX 78703, January 1991.
William D. Young. Verifying the Interactive Convergence clock-synchronization algorithm using the Boyer-Moore prover. Internal Note 199, Computational Logic Incorporated, Austin, TX, January 1991.
W.D. Young. Verifying the Interactive Convergence Clock Synchronization Algorithm using the Boyer-Moore Theorem Prover. Contractor Report 189649, NASA, April 1992. Also available as Technical Report 77, Computational Logic, Inc., Suite 290, 1717 West Sixth Street, Austin, TX 78703. URL http://www.cli.com/.
William D. Young. Verifying the Interactive Convergence clock-synchronization algorithm using the Boyer-Moore prover. NASA Contractor Report 189649, NASA Langley Research Center, Hampton, VA, April 1992. (Work performed by Computational Logic Incorporated).
William D. Young. Verifying the interactive convergence clock synchronization algorithm using the boyer-moore theorem prover. NASA Contractor Report 189649, April 1992.
W.D. Young. Verifying the Interactive Convergence Clock Synchronization Algorithm using the Boyer-Moore Theorem Prover. Contractor Report 189649, NASA, April 1992.
W.D. Young. Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover. Contractor Report 189649, NASA, April 1992.
William D. Young, "Verifying the Interactive Convergence clock-synchronization algorithm using the Boyer-Moore prover", NASA Contractor Report 189649, NASA Langley Research Center, Hampton, VA, Apr. 1992, (Work performed by Computational Logic Incorporated). FORMAL VERIFICATION FOR FAULT-TOLERANT ARCHITECTURES AND THE DESIGN OF PVS 19
Young, W.D.: Verifying the interactive convergence clock synchronization algorithm using the boyer-moore theorem prover. Internal Note 199, Computational Logic, Inc., 1717 W. Sixth Street, Suite 290, Austin, TX 78703, January 1991.
Young, W., "Verifying the Interactive Convergence clock-synchronization algorithm using the Boyer-Moore prover", NASA TR 189649, NASA LARC, April 1992.
W.D. Young. Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover. Contractor Report 189649, NASA. 20
William D. Young, \Verifying the Interactive Convergence clock-synchronization algorithm using the Boyer-Moore prover", NASA Contractor Report 189649, NASA Langley Research Center, Hampton, VA, Apr. 1992, (Work performed by Computational Logic Incorporated). FORMAL VERIFICATION FOR FAULT-TOLERANT ARCHITECTURES AND THE DESIGN OF PVS 19
William D. Young. Verifying the Interactive Convergence clocksynchronization algorithm using the Boyer-Moore prover. NASA Contractor Report 189649, NASA Langley Research Center, Hampton, VA, April 1992. (Work performed by Computational Logic Incorporated)