@incollection{wongpiromsarn_formal_nodate,
	title = {Formal synthesis of embedded control software: {Application} to vehicle management systems},
	url = {https://arc.aiaa.org/doi/abs/10.2514/6.2011-1506},
	booktitle = {Infotech@{Aerospace} 2011},
	author = {Wongpiromsarn, Tichakorn and Topcu, Ufuk and Murray, Richard},
	doi = {10.2514/6.2011-1506},
	note = {tex.eprint: https://arc.aiaa.org/doi/pdf/10.2514/6.2011-1506},
}

{"_id":"NYQCxnMCnbMC5CvFE","bibbaseid":"wongpiromsarn-topcu-murray-formalsynthesisofembeddedcontrolsoftwareapplicationtovehiclemanagementsystems","author_short":["Wongpiromsarn, T.","Topcu, U.","Murray, R."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"Formal synthesis of embedded control software: Application to vehicle management systems","url":"https://arc.aiaa.org/doi/abs/10.2514/6.2011-1506","booktitle":"Infotech@Aerospace 2011","author":[{"propositions":[],"lastnames":["Wongpiromsarn"],"firstnames":["Tichakorn"],"suffixes":[]},{"propositions":[],"lastnames":["Topcu"],"firstnames":["Ufuk"],"suffixes":[]},{"propositions":[],"lastnames":["Murray"],"firstnames":["Richard"],"suffixes":[]}],"doi":"10.2514/6.2011-1506","note":"tex.eprint: https://arc.aiaa.org/doi/pdf/10.2514/6.2011-1506","bibtex":"@incollection{wongpiromsarn_formal_nodate,\n\ttitle = {Formal synthesis of embedded control software: {Application} to vehicle management systems},\n\turl = {https://arc.aiaa.org/doi/abs/10.2514/6.2011-1506},\n\tbooktitle = {Infotech@{Aerospace} 2011},\n\tauthor = {Wongpiromsarn, Tichakorn and Topcu, Ufuk and Murray, Richard},\n\tdoi = {10.2514/6.2011-1506},\n\tnote = {tex.eprint: https://arc.aiaa.org/doi/pdf/10.2514/6.2011-1506},\n}\n\n","author_short":["Wongpiromsarn, T.","Topcu, U.","Murray, R."],"key":"wongpiromsarn_formal_nodate","id":"wongpiromsarn_formal_nodate","bibbaseid":"wongpiromsarn-topcu-murray-formalsynthesisofembeddedcontrolsoftwareapplicationtovehiclemanagementsystems","role":"author","urls":{"Paper":"https://arc.aiaa.org/doi/abs/10.2514/6.2011-1506"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","synthesis","embedded","control","software","application","vehicle","management","systems","wongpiromsarn","topcu","murray"],"title":"Formal synthesis of embedded control software: Application to vehicle management systems","year":null}