{"_id":"QdhSGnzZfAu9p49Sj","authorIDs":[],"author_short":["Liu, Y.","Zhang, X.","Liu, Y.","Dong, J. S.","Sun, J.","Biswas, J.","Mokhtari, M."],"bibbaseid":"liu-zhang-liu-dong-sun-biswas-mokhtari-towardsformalmodellingandverificationofpervasivecomputingsystems-2014","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Towards Formal Modelling and Verification of Pervasive Computing Systems.","volume":"16","booktitle":"Trans. Computational Collective Intelligence","author":[{"propositions":[],"lastnames":["Liu"],"firstnames":["Yan"],"suffixes":[]},{"propositions":[],"lastnames":["Zhang"],"firstnames":["Xian"],"suffixes":[]},{"propositions":[],"lastnames":["Liu"],"firstnames":["Yang"],"suffixes":[]},{"propositions":[],"lastnames":["Dong"],"firstnames":["Jin","Song"],"suffixes":[]},{"propositions":[],"lastnames":["Sun"],"firstnames":["Jun"],"suffixes":[]},{"propositions":[],"lastnames":["Biswas"],"firstnames":["Jit"],"suffixes":[]},{"propositions":[],"lastnames":["Mokhtari"],"firstnames":["Mounir"],"suffixes":[]}],"year":"2014","keywords":"⛔ No DOI found","pages":"62–91","bibtex":"@inproceedings{liu_towards_2014,\n\ttitle = {Towards {Formal} {Modelling} and {Verification} of {Pervasive} {Computing} {Systems}.},\n\tvolume = {16},\n\tbooktitle = {Trans. {Computational} {Collective} {Intelligence}},\n\tauthor = {Liu, Yan and Zhang, Xian and Liu, Yang and Dong, Jin Song and Sun, Jun and Biswas, Jit and Mokhtari, Mounir},\n\tyear = {2014},\n\tkeywords = {⛔ No DOI found},\n\tpages = {62--91},\n}\n\n","author_short":["Liu, Y.","Zhang, X.","Liu, Y.","Dong, J. S.","Sun, J.","Biswas, J.","Mokhtari, M."],"key":"liu_towards_2014","id":"liu_towards_2014","bibbaseid":"liu-zhang-liu-dong-sun-biswas-mokhtari-towardsformalmodellingandverificationofpervasivecomputingsystems-2014","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","creationDate":"2015-02-02T15:13:00.765Z","downloads":0,"keywords":["⛔ no doi found"],"search_terms":["towards","formal","modelling","verification","pervasive","computing","systems","liu","zhang","liu","dong","sun","biswas","mokhtari"],"title":"Towards Formal Modelling and Verification of Pervasive Computing Systems.","year":2014,"dataSources":["mpMYjTrc4gjXaNRQh","YCBcQPneB9oxahSnp"]}