{"_id":"xde9bxtLN3jRRk6dt","bibbaseid":"konur-fisher-dobson-knox-formalverificationofapervasivemessagingsystem-2014","downloads":0,"creationDate":"2016-05-26T11:21:07.761Z","title":"Formal verification of a pervasive messaging system","author_short":["Konur, S.","Fisher, M.","Dobson, S.","Knox, S."],"year":2014,"bibtype":"article","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Savas"],"propositions":[],"lastnames":["Konur"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Simon"],"propositions":[],"lastnames":["Dobson"],"suffixes":[]},{"firstnames":["Stephen"],"propositions":[],"lastnames":["Knox"],"suffixes":[]}],"title":"Formal verification of a pervasive messaging system","journal":"Formal Asp. Comput.","volume":"26","number":"4","pages":"677–694","year":"2014","url":"https://doi.org/10.1007/s00165-013-0277-4","doi":"10.1007/s00165-013-0277-4","timestamp":"Tue, 20 Feb 2018 18:30:38 +0100","biburl":"https://dblp.org/rec/bib/journals/fac/KonurFDK14","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fac/KonurFDK14,\n author = {Savas Konur and\n Michael Fisher and\n Simon Dobson and\n Stephen Knox},\n title = {Formal verification of a pervasive messaging system},\n journal = {Formal Asp. Comput.},\n volume = {26},\n number = {4},\n pages = {677--694},\n year = {2014},\n url = {https://doi.org/10.1007/s00165-013-0277-4},\n doi = {10.1007/s00165-013-0277-4},\n timestamp = {Tue, 20 Feb 2018 18:30:38 +0100},\n biburl = {https://dblp.org/rec/bib/journals/fac/KonurFDK14},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Konur, S.","Fisher, M.","Dobson, S.","Knox, S."],"key":"DBLP:journals/fac/KonurFDK14","id":"DBLP:journals/fac/KonurFDK14","bibbaseid":"konur-fisher-dobson-knox-formalverificationofapervasivemessagingsystem-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/s00165-013-0277-4"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["formal","verification","pervasive","messaging","system","konur","fisher","dobson","knox"],"keywords":[],"authorIDs":["54795f1c8a7c93e0600008be"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","iqRbmbCgpDeaBjend"]}