@article{lu_how_2015,
	title = {How reliable is satellite navigation for aviation? {Checking} availability properties with probabilistic verification},
	volume = {144},
	shorttitle = {How reliable is satellite navigation for aviation?},
	doi = {10/f7thcp},
	journal = {Reliability Engineering \& System Safety},
	author = {Lu, Yu and Peng, Zhaoguang and Miller, Alice A. and Zhao, Tingdi and Johnson, Christopher W.},
	year = {2015},
	note = {tex.ids= luHowReliableSatellite2015a, luHowReliableSatellite2015b, luHowReliableSatellite2015c, luHowReliableSatellite2015d, lu\_how\_2015
publisher: Elsevier},
	pages = {95--116},
}

{"_id":"8zK895nctBD72u4G3","bibbaseid":"lu-peng-miller-zhao-johnson-howreliableissatellitenavigationforaviationcheckingavailabilitypropertieswithprobabilisticverification-2015","author_short":["Lu, Y.","Peng, Z.","Miller, A. A.","Zhao, T.","Johnson, C. W."],"bibdata":{"bibtype":"article","type":"article","title":"How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification","volume":"144","shorttitle":"How reliable is satellite navigation for aviation?","doi":"10/f7thcp","journal":"Reliability Engineering & System Safety","author":[{"propositions":[],"lastnames":["Lu"],"firstnames":["Yu"],"suffixes":[]},{"propositions":[],"lastnames":["Peng"],"firstnames":["Zhaoguang"],"suffixes":[]},{"propositions":[],"lastnames":["Miller"],"firstnames":["Alice","A."],"suffixes":[]},{"propositions":[],"lastnames":["Zhao"],"firstnames":["Tingdi"],"suffixes":[]},{"propositions":[],"lastnames":["Johnson"],"firstnames":["Christopher","W."],"suffixes":[]}],"year":"2015","note":"tex.ids= luHowReliableSatellite2015a, luHowReliableSatellite2015b, luHowReliableSatellite2015c, luHowReliableSatellite2015d, lu_how_2015 publisher: Elsevier","pages":"95–116","bibtex":"@article{lu_how_2015,\n\ttitle = {How reliable is satellite navigation for aviation? {Checking} availability properties with probabilistic verification},\n\tvolume = {144},\n\tshorttitle = {How reliable is satellite navigation for aviation?},\n\tdoi = {10/f7thcp},\n\tjournal = {Reliability Engineering \\& System Safety},\n\tauthor = {Lu, Yu and Peng, Zhaoguang and Miller, Alice A. and Zhao, Tingdi and Johnson, Christopher W.},\n\tyear = {2015},\n\tnote = {tex.ids= luHowReliableSatellite2015a, luHowReliableSatellite2015b, luHowReliableSatellite2015c, luHowReliableSatellite2015d, lu\\_how\\_2015\npublisher: Elsevier},\n\tpages = {95--116},\n}\n\n","author_short":["Lu, Y.","Peng, Z.","Miller, A. A.","Zhao, T.","Johnson, C. W."],"key":"lu_how_2015","id":"lu_how_2015","bibbaseid":"lu-peng-miller-zhao-johnson-howreliableissatellitenavigationforaviationcheckingavailabilitypropertieswithprobabilisticverification-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["reliable","satellite","navigation","aviation","checking","availability","properties","probabilistic","verification","lu","peng","miller","zhao","johnson"],"title":"How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification","year":2015}