@inproceedings{jasim_formal_2018,
	title = {Formal verification of quadcopter flight envelop using theorem prover},
	doi = {10/ghwkqt},
	booktitle = {2018 {IEEE} {Conference} on {Control} {Technology} and {Applications} ({CCTA})},
	publisher = {IEEE},
	author = {Jasim, Omar A. and Veres, Sandor M.},
	year = {2018},
	note = {tex.ids= jasimFormalVerificationQuadcopter2018a, jasimFormalVerificationQuadcopter2018b, jasim\_formal\_2018},
	pages = {1502--1507},
}

{"_id":"eYd8snkJ5WNwCNyi8","bibbaseid":"jasim-veres-formalverificationofquadcopterflightenvelopusingtheoremprover-2018","author_short":["Jasim, O. A.","Veres, S. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of quadcopter flight envelop using theorem prover","doi":"10/ghwkqt","booktitle":"2018 IEEE Conference on Control Technology and Applications (CCTA)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Jasim"],"firstnames":["Omar","A."],"suffixes":[]},{"propositions":[],"lastnames":["Veres"],"firstnames":["Sandor","M."],"suffixes":[]}],"year":"2018","note":"tex.ids= jasimFormalVerificationQuadcopter2018a, jasimFormalVerificationQuadcopter2018b, jasim_formal_2018","pages":"1502–1507","bibtex":"@inproceedings{jasim_formal_2018,\n\ttitle = {Formal verification of quadcopter flight envelop using theorem prover},\n\tdoi = {10/ghwkqt},\n\tbooktitle = {2018 {IEEE} {Conference} on {Control} {Technology} and {Applications} ({CCTA})},\n\tpublisher = {IEEE},\n\tauthor = {Jasim, Omar A. and Veres, Sandor M.},\n\tyear = {2018},\n\tnote = {tex.ids= jasimFormalVerificationQuadcopter2018a, jasimFormalVerificationQuadcopter2018b, jasim\\_formal\\_2018},\n\tpages = {1502--1507},\n}\n\n","author_short":["Jasim, O. A.","Veres, S. M."],"key":"jasim_formal_2018","id":"jasim_formal_2018","bibbaseid":"jasim-veres-formalverificationofquadcopterflightenvelopusingtheoremprover-2018","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","verification","quadcopter","flight","envelop","using","theorem","prover","jasim","veres"],"title":"Formal verification of quadcopter flight envelop using theorem prover","year":2018}