{"_id":"Anu3TJvPPnRzPTseg","bibbaseid":"yang-huang-cao-ma-lu-formalspecificationandruntimedetectionofdynamicpropertiesinasynchronouspervasivecomputingenvironments-2013","author_short":["Yang, Y.","Huang, Y.","Cao, J.","Ma, X.","Lu, J."],"bibdata":{"bibtype":"article","type":"article","title":"Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments","volume":"24","doi":"10/f44z8t","number":"8","journal":"IEEE Transactions on Parallel and Distributed Systems","author":[{"propositions":[],"lastnames":["Yang"],"firstnames":["Yiling"],"suffixes":[]},{"propositions":[],"lastnames":["Huang"],"firstnames":["Yu"],"suffixes":[]},{"propositions":[],"lastnames":["Cao"],"firstnames":["Jiannong"],"suffixes":[]},{"propositions":[],"lastnames":["Ma"],"firstnames":["Xiaoxing"],"suffixes":[]},{"propositions":[],"lastnames":["Lu"],"firstnames":["Jian"],"suffixes":[]}],"year":"2013","pages":"1546–1555","bibtex":"@article{yang_formal_2013,\n\ttitle = {Formal {Specification} and {Runtime} {Detection} of {Dynamic} {Properties} in {Asynchronous} {Pervasive} {Computing} {Environments}},\n\tvolume = {24},\n\tdoi = {10/f44z8t},\n\tnumber = {8},\n\tjournal = {IEEE Transactions on Parallel and Distributed Systems},\n\tauthor = {Yang, Yiling and Huang, Yu and Cao, Jiannong and Ma, Xiaoxing and Lu, Jian},\n\tyear = {2013},\n\tpages = {1546--1555},\n}\n\n","author_short":["Yang, Y.","Huang, Y.","Cao, J.","Ma, X.","Lu, J."],"key":"yang_formal_2013","id":"yang_formal_2013","bibbaseid":"yang-huang-cao-ma-lu-formalspecificationandruntimedetectionofdynamicpropertiesinasynchronouspervasivecomputingenvironments-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","specification","runtime","detection","dynamic","properties","asynchronous","pervasive","computing","environments","yang","huang","cao","ma","lu"],"title":"Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments","year":2013}