Alfons Geser and Paul Miner. A formal correctness proof of the SPIDER diagnosis protocol. Technical Report NASA/CP-2002-211736, NASA Langley Research Center, Hampton, Virginia, August 2002. Technical Report contains the Track B proceedings from Theorem Proving in Higher Order Logics (TPHOLSs). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Verification of Time-Triggered Systems - Pike (2006) Self-citation (Miner) (Correct)
No context found.
Alfons Geser and Paul Miner. A formal correctness proof of the SPIDER diagnosis protocol. Technical Report NASA/CP-2002-211736, NASA Langley Research Center, Hampton, Virginia, August 2002. Technical Report contains the Track B proceedings from Theorem Proving in Higher Order Logics (TPHOLSs).
Abstractions for Fault-Tolerant Distributed System.. - Pike, Maddalon, Miner.. (2004) Self-citation (Geser Miner) (Correct)
No context found.
Alfons Geser and Paul Miner. A formal correctness proof of the SPIDER diagnosis protocol. Technical Report 2002-211736, NASA Langley Research Center, Hampton, Virginia, August 2002. Technical Report contains the Track B proceedings from Theorem Proving in Higher Order Logics (TPHOLSs).
Model Checking Failed Conjectures in Theorem Proving: A.. - Pike, Miner.. (2004) Self-citation (Miner) (Correct)
No context found.
Geser, A.; and Miner, P.: A Formal Correctness Proof of the SPIDER Diagnosis Protocol. NASA/CP-2002-211736, NASA Langley Research Center, Hampton, Virginia, August 2002. Technical Report contains the Track B proceedings from Theorem Proving in Higher Order Logics (TPHOLSs).
Abstractions for Fault-Tolerant Distributed System.. - Pike, Maddalon, Miner.. (2004) Self-citation (Geser Miner) (Correct)
No context found.
Alfons Geser and Paul Miner. A formal correctness proof of the SPIDER diagnosis protocol. Technical Report 2002-211736, NASA Langley Research Center, Hampton, Virginia, August 2002. Technical Report contains the Track B proceedings from Theorem Proving in Higher Order Logics (TPHOLSs).
Quantifying the Reliability of Proven - Spider Group Membership (Correct)
No context found.
A. Geser and P. Miner, A Formal Correctness Proof of the SPIDER Diagnosis Protocol, 15th Intl. Conf. on Theorem Proving in Higher Order Logics (TPHOLS), Aug. 2002, pp. 71-86.
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