%0 Journal Article %1 journals/tc/Melliar-SmithS82 %A Melliar-Smith, P. M. %A Schwartz, Richard L. %D 1982 %J IEEE Trans. Computers %K dblp %N 7 %P 616-630 %T Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. %U http://dblp.uni-trier.de/db/journals/tc/tc31.html#Melliar-SmithS82 %V 31

@article{journals/tc/Melliar-SmithS82, added-at = {2015-12-22T00:00:00.000+0100}, author = {Melliar-Smith, P. M. and Schwartz, Richard L.}, biburl = {https://www.bibsonomy.org/bibtex/2cd31fa8a8cceec6b37683302c2cfcd63/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.1982.1676059}, interhash = {658d9af2e75c93e83f75c6a6d19b0408}, intrahash = {cd31fa8a8cceec6b37683302c2cfcd63}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 7, pages = {616-630}, timestamp = {2015-12-24T11:44:19.000+0100}, title = {Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc31.html#Melliar-SmithS82}, volume = 31, year = 1982 }