{"_id":"m6WTSNXkF4FNpTPEP","bibbaseid":"shan-wang-fu-zhou-zhao-wan-qiao-chen-formalverificationoflunarrovercontrolsoftwareusinguppaal-2014","author_short":["Shan, L.","Wang, Y.","Fu, N.","Zhou, X.","Zhao, L.","Wan, L.","Qiao, L.","Chen, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of lunar rover control software using UPPAAL","booktitle":"International Symposium on Formal Methods","publisher":"Springer","author":[{"propositions":[],"lastnames":["Shan"],"firstnames":["Lijun"],"suffixes":[]},{"propositions":[],"lastnames":["Wang"],"firstnames":["Yuying"],"suffixes":[]},{"propositions":[],"lastnames":["Fu"],"firstnames":["Ning"],"suffixes":[]},{"propositions":[],"lastnames":["Zhou"],"firstnames":["Xingshe"],"suffixes":[]},{"propositions":[],"lastnames":["Zhao"],"firstnames":["Lei"],"suffixes":[]},{"propositions":[],"lastnames":["Wan"],"firstnames":["Lijng"],"suffixes":[]},{"propositions":[],"lastnames":["Qiao"],"firstnames":["Lei"],"suffixes":[]},{"propositions":[],"lastnames":["Chen"],"firstnames":["Jianxin"],"suffixes":[]}],"year":"2014","note":"tex.ids= shanFormalVerificationLunar2014a, shanFormalVerificationLunar2014b","keywords":"⛔ No DOI found","pages":"718–732","bibtex":"@inproceedings{shan_formal_2014,\n\ttitle = {Formal verification of lunar rover control software using {UPPAAL}},\n\tbooktitle = {International {Symposium} on {Formal} {Methods}},\n\tpublisher = {Springer},\n\tauthor = {Shan, Lijun and Wang, Yuying and Fu, Ning and Zhou, Xingshe and Zhao, Lei and Wan, Lijng and Qiao, Lei and Chen, Jianxin},\n\tyear = {2014},\n\tnote = {tex.ids= shanFormalVerificationLunar2014a, shanFormalVerificationLunar2014b},\n\tkeywords = {⛔ No DOI found},\n\tpages = {718--732},\n}\n\n","author_short":["Shan, L.","Wang, Y.","Fu, N.","Zhou, X.","Zhao, L.","Wan, L.","Qiao, L.","Chen, J."],"key":"shan_formal_2014","id":"shan_formal_2014","bibbaseid":"shan-wang-fu-zhou-zhao-wan-qiao-chen-formalverificationoflunarrovercontrolsoftwareusinguppaal-2014","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["formal","verification","lunar","rover","control","software","using","uppaal","shan","wang","fu","zhou","zhao","wan","qiao","chen"],"title":"Formal verification of lunar rover control software using UPPAAL","year":2014}