{"_id":{"_str":"53bf13b5823e1b3704001672"},"__v":0,"authorIDs":[],"author_short":["Fitzgerald, J.","Bryans, J.","Greathead, D.","Jones, C.","Payne, R."],"bibbaseid":"fitzgerald-bryans-greathead-jones-payne-animationbasedvalidationofaformalmodelofdynamicvirtualorganisations-2008","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Fitzgerald&08d","author":[{"firstnames":["J.S."],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["J.W."],"propositions":[],"lastnames":["Bryans"],"suffixes":[]},{"firstnames":["D."],"propositions":[],"lastnames":["Greathead"],"suffixes":[]},{"firstnames":["C.B."],"propositions":[],"lastnames":["Jones"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Payne"],"suffixes":[]}],"title":"Animation-based Validation of a Formal Model of Dynamic Virtual Organisations","booktitle":"Proc. BCS-FACS Workshop on Formal Methods in Industry","editor":[{"firstnames":["P."],"propositions":[],"lastnames":["Boca"],"suffixes":[]},{"firstnames":["J.P."],"propositions":[],"lastnames":["Bowen"],"suffixes":[]},{"firstnames":["P.G."],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"year":"2008","series":"Electronic Workshops in Computing","publisher":"British Computer Society","bibtex":"@INPROCEEDINGS{Fitzgerald&08d,\n KEY = \"Fitzgerald\\&08d\",\n AUTHOR = \"J.S. Fitzgerald and J.W. Bryans and D. Greathead and C.B. Jones and R. Payne\",\n TITLE = \"{Animation-based Validation of a Formal Model of Dynamic Virtual Organisations}\",\n BOOKTITLE = \"{Proc. BCS-FACS Workshop on Formal Methods in Industry}\",\n EDITOR = \"P. Boca and J.P. Bowen and P.G. Larsen\",\n YEAR = \"2008\",\n series = {Electronic Workshops in Computing},\n PUBLISHER = \"{British Computer Society}\"\n }\n\n%G VDM TUTOR FORMAL OVERTURE\n","author_short":["Fitzgerald, J.","Bryans, J.","Greathead, D.","Jones, C.","Payne, R."],"editor_short":["Boca, P.","Bowen, J.","Larsen, P."],"id":"Fitzgerald&08d","bibbaseid":"fitzgerald-bryans-greathead-jones-payne-animationbasedvalidationofaformalmodelofdynamicvirtualorganisations-2008","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2014-07-10T22:29:09.633Z","downloads":0,"keywords":[],"search_terms":["animation","based","validation","formal","model","dynamic","virtual","organisations","fitzgerald","bryans","greathead","jones","payne"],"title":"Animation-based Validation of a Formal Model of Dynamic Virtual Organisations","year":2008,"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}