CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Ricky W. Butler and Ben L. Di Vito, "Formal design and verification of a reliable computing platform for real-time control (Phase 2 results)", NASA TM-104196, Jan. 1992.
Ricky W. Butler, Ben L. Di Vito, and C. Michael Holloway, "Formal design and verification of a reliable computing platform for real-time control (Phase 3 results)", NASA TM-109140, Aug. 1994.
Butler, Ricky W.; and Di Vito, Ben L.: Formal Design and Verification of a Reliable Computing Platform For Real-Time Control (Phase 2 Results). NASA Technical Memorandum 104196, Jan. 1992.
Butler, Ricky W.; and Di Vito, Ben L.: Formal Design and Verification of a Reliable Computing Platform For Real-Time Control (Phase 2 Results). NASA Technical Memorandum 104196, Jan. 1992.
Ricky W. Butler and Ben L. Di Vito. Formal design and verification of a reliable computing platform for real-time control (phase 2 results) . NASA Technical Memorandum 104196, January 1992.
Ricky W. Butler and Ben L. Di Vito. Formal design and verification of a reliable computing platform for real-time control (Phase 2 results). NASA Technical Memorandum 104196, January 1992.
Ricky W. Butler, Ben L. Di Vito, and C. Michael Holloway. Formal design and verification of a reliable computing platform for real-time control (Phase 3 results). NASA Technical Memorandum 109140, August 1994.
Ricky W. Butler, Ben L. Di Vito, and C. Michael Holloway, "Formal design and verification of a reliable computing platform for real-time control: Phase 3 results", NASA Technical Memorandum 109140, NASA Langley Research Center, Hampton, VA, Aug. 1994.
Ricky W. Butler and Ben L. Di Vito. Formal design and verification of a reliable computing platform for real-time control: Phase 2 results. NASA Technical Memorandum 104196, NASA Langley Research Center, Hampton, VA, January 1992.
Butler, R. and B. DiVito, Formal Design and Verification of Reliable Computing Platform for Real--Time Control (Phase 2 Results), NASA Technical Memorandum 104196, January 1992.
Divito, B. and R. Butler, Formal Design and Verification of Reliable Computing Platform for Real--Time Control (Phase 1 Results), NASA Technical Memorandum 102761, October 1990.
Ricky W. Butler, Ben L. Di Vito, and C. Michael Holloway. Formal design and verification of a reliable computing platform for real-time control (Phase 3 results). NASA Technical Memorandum 109140, August 1994. Earlier reports are numbered 102716 and 104196.
Ricky Butler and Ben Di Vito. Formal design and verification of a reliable computing platform for real-time control (phase 2 results). Technical Report NASA/TM-104196, NASA Langley Research Center, January 1992.