Three Body Reactions From Anti-Proton Neutron Interactions at 3.5 Gev/c
Validating Requirements for Fault Tolerant Systems using Model Checking; International Conference on Requirements Engingineering 1998 IEEE Computer Society Francis L. Schneider (This paper won first prize in its class.) http://portal.acm.org/citation.cfm?id=853144&coll=GUIDE&dl=GUIDE&CFID=52570406&CFTOKEN=96121669
Software for Detecting Anomalies and Responding to Faults NASA Tech Briefs, Aug 1999, Schneider, Francis http://findarticles.com/p/articles/mi_qa3957/is_199908/ai_n8854826
