@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},
}

{"_id":"zDZjHzurcaY9EMSJF","bibbaseid":"goodloe-muoz-compositionalverificationofacommunicationprotocolforaremotelyoperatedaircraft-2013","author_short":["Goodloe, A. E.","Muñoz, C. A."],"bibdata":{"bibtype":"article","type":"article","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":[{"propositions":[],"lastnames":["Goodloe"],"firstnames":["Alwyn","E."],"suffixes":[]},{"propositions":[],"lastnames":["Muñoz"],"firstnames":["César","A."],"suffixes":[]}],"year":"2013","pages":"813–827","bibtex":"@article{goodloe_compositional_2013,\n\ttitle = {Compositional verification of a communication protocol for a remotely operated aircraft},\n\tvolume = {78},\n\tdoi = {10/d9q3ck},\n\tnumber = {7},\n\tjournal = {Science of Computer Programming},\n\tauthor = {Goodloe, Alwyn E. and Muñoz, César A.},\n\tyear = {2013},\n\tpages = {813--827},\n}\n\n","author_short":["Goodloe, A. E.","Muñoz, C. A."],"key":"goodloe_compositional_2013","id":"goodloe_compositional_2013","bibbaseid":"goodloe-muoz-compositionalverificationofacommunicationprotocolforaremotelyoperatedaircraft-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["compositional","verification","communication","protocol","remotely","operated","aircraft","goodloe","muñoz"],"title":"Compositional verification of a communication protocol for a remotely operated aircraft","year":2013}