5 citations found. Retrieving documents...
Alfons Geser and Paul S. Miner. A new on-line diagnosis protocol for the SPIDER family of Byzantine fault tolerant architectures. Technical Memorandum NASA/TM-2003-212432, NASA Langley Research Center, Hampton, VA, December 2003. In print.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
A Unified Fault-Tolerance Protocol - Miner, Geser, Pike, Maddalon (2004)   Self-citation (Geser Miner)   (Correct)

No context found.

Alfons Geser and Paul S. Miner. A new on-line diagnosis protocol for the SPIDER family of Byzantine fault tolerant architectures. Technical Memorandum NASA/TM-2003-212432, NASA Langley Research Center, Hampton, VA, December 2003. In print.


Model Checking Failed Conjectures in Theorem Proving: A.. - Pike, Miner.. (2004)   Self-citation (Miner)   (Correct)

No context found.

Miner, P.; and Geser, A.: A New On-Line Diagnosis Protocol for the SPIDER Family of Byzantine Fault Tolerant Architectures., April 2003. Available at http://shemesh. larc.nasa.gov/fm/spider/spider_pubs.html.


A Unified Fault-Tolerance Protocol - Miner, Geser, Pike, Maddalon (2004)   Self-citation (Geser Miner)   (Correct)

No context found.

Alfons Geser and Paul S. Miner. A new on-line diagnosis protocol for the SPIDER family of Byzantine fault tolerant architectures. Technical Memorandum NASA/TM-2003-212432, NASA Langley Research Center, Hampton, VA, December 2003. In print.


An Architectural Concept for Intrusion Tolerance in Air.. - Jeffrey Maddalon Paul (2003)   Self-citation (Miner)   (Correct)

No context found.

Alfons Geser and Paul Miner. A New On-line Diagnosis Protocol for the SPIDER Family of Byzantine Fault Tolerant Architectures. NASA Technical Memorandum. 2003. to appear.


Quantifying the Reliability of Proven - Spider Group Membership   (Correct)

No context found.

A. Geser and P. Miner, A New On-Line Diagnosis Protocol for the SPIDER Family of Byzantine Fault Tolerant Architectures, NASA/TM-

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC