%0 Journal Article %1 journals/expert/LowryD98 %A Lowry, Michael R. %A Dvorak, Daniel %D 1998 %J IEEE Intelligent Systems %K dblp %N 5 %P 45-49 %T Analytic Verification of Flight Software. %U http://dblp.uni-trier.de/db/journals/expert/expert13.html#LowryD98 %V 13

@article{journals/expert/LowryD98, added-at = {2015-09-10T00:00:00.000+0200}, author = {Lowry, Michael R. and Dvorak, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/22b4348b85ac607c5c14d7d2f844d62e7/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/5254.722359}, interhash = {d33951fc7f0ed93cfaefde3509b3000c}, intrahash = {2b4348b85ac607c5c14d7d2f844d62e7}, journal = {IEEE Intelligent Systems}, keywords = {dblp}, number = 5, pages = {45-49}, timestamp = {2015-09-11T11:41:40.000+0200}, title = {Analytic Verification of Flight Software.}, url = {http://dblp.uni-trier.de/db/journals/expert/expert13.html#LowryD98}, volume = 13, year = 1998 }