Compositional verification of a communication protocol for a remotely operated aircraft. Goodloe, A. E. & Muñoz, C. A. Science of Computer Programming, 78(7):813–827, 2013.
doi  bibtex   
@article{goodloe_compositional_2013,
	title = {Compositional verification of a communication protocol for a remotely operated aircraft},
	volume = {78},
	doi = {10/d9q3ck},
	number = {7},
	journal = {Science of Computer Programming},
	author = {Goodloe, Alwyn E. and Muñoz, César A.},
	year = {2013},
	pages = {813--827},
}

Downloads: 0