@inproceedings{umeno_safety_2007,
	title = {Safety verification of an aircraft landing protocol: {A} refinement approach},
	shorttitle = {Safety verification of an aircraft landing protocol},
	doi = {10/cv5hvx},
	booktitle = {International {Workshop} on {Hybrid} {Systems}: {Computation} and {Control}},
	publisher = {Springer},
	author = {Umeno, Shinya and Lynch, Nancy},
	year = {2007},
	pages = {557--572},
}

{"_id":"XghJfaXxYH7eFfhRc","bibbaseid":"umeno-lynch-safetyverificationofanaircraftlandingprotocolarefinementapproach-2007","author_short":["Umeno, S.","Lynch, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Safety verification of an aircraft landing protocol: A refinement approach","shorttitle":"Safety verification of an aircraft landing protocol","doi":"10/cv5hvx","booktitle":"International Workshop on Hybrid Systems: Computation and Control","publisher":"Springer","author":[{"propositions":[],"lastnames":["Umeno"],"firstnames":["Shinya"],"suffixes":[]},{"propositions":[],"lastnames":["Lynch"],"firstnames":["Nancy"],"suffixes":[]}],"year":"2007","pages":"557–572","bibtex":"@inproceedings{umeno_safety_2007,\n\ttitle = {Safety verification of an aircraft landing protocol: {A} refinement approach},\n\tshorttitle = {Safety verification of an aircraft landing protocol},\n\tdoi = {10/cv5hvx},\n\tbooktitle = {International {Workshop} on {Hybrid} {Systems}: {Computation} and {Control}},\n\tpublisher = {Springer},\n\tauthor = {Umeno, Shinya and Lynch, Nancy},\n\tyear = {2007},\n\tpages = {557--572},\n}\n\n","author_short":["Umeno, S.","Lynch, N."],"key":"umeno_safety_2007","id":"umeno_safety_2007","bibbaseid":"umeno-lynch-safetyverificationofanaircraftlandingprotocolarefinementapproach-2007","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["safety","verification","aircraft","landing","protocol","refinement","approach","umeno","lynch"],"title":"Safety verification of an aircraft landing protocol: A refinement approach","year":2007}