Safety verification of an aircraft landing protocol: A refinement approach. Umeno, S. & Lynch, N. In International Workshop on Hybrid Systems: Computation and Control, pages 557–572, 2007. Springer.
doi  bibtex   
@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},
}

Downloads: 0