Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems /

Chicago citation style
Rushby, John. Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems /. 1991. Retrieved from the Digital Public Library of America, http://catalog.hathitrust.org/Record/011431871. (Accessed September 26, 2018.)
APA citation style
Rushby, John, (1991) Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems /. Retrieved from the Digital Public Library of America, http://catalog.hathitrust.org/Record/011431871
MLA citation style
Rushby, John. Retrieved from the Digital Public Library of America <http://catalog.hathitrust.org/Record/011431871>.
Note: These citations are programmatically generated and may be incomplete.