{"_id":"kGDiqQzDAZFYD9WYw","bibbaseid":"burn-gay-ryan-theoryandformalmethods1993proceedingsofthefirstimperialcollegedepartmentofcomputingworkshopontheoryandformalmethodsisleofthornsconferencecentrechelwoodgatesussexuk2931march1993-1993","downloads":0,"creationDate":"2017-02-03T08:36:24.351Z","title":"Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993","author_short":null,"year":1993,"bibtype":"proceedings","biburl":"http://dblp.org/pers/tb2/s/Sands:David","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Geoffrey","L."],"propositions":[],"lastnames":["Burn"],"suffixes":[]},{"firstnames":["Simon","J."],"propositions":[],"lastnames":["Gay"],"suffixes":[]},{"firstnames":["Mark"],"propositions":[],"lastnames":["Ryan"],"suffixes":[]}],"title":"Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993","series":"Workshops in Computing","publisher":"Springer","year":"1993","isbn":"3-540-19842-3","timestamp":"Tue, 25 Feb 2003 14:11:07 +0100","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/imperial/1993","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@proceedings{DBLP:conf/imperial/1993,\n editor = {Geoffrey L. Burn and\n Simon J. Gay and\n Mark Ryan},\n title = {Theory and Formal Methods 1993, Proceedings of the First Imperial\n College Department of Computing Workshop on Theory and Formal Methods,\n Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31\n March 1993},\n series = {Workshops in Computing},\n publisher = {Springer},\n year = {1993},\n isbn = {3-540-19842-3},\n timestamp = {Tue, 25 Feb 2003 14:11:07 +0100},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/imperial/1993},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","editor_short":["Burn, G. L.","Gay, S. J.","Ryan, M."],"key":"DBLP:conf/imperial/1993","id":"DBLP:conf/imperial/1993","bibbaseid":"burn-gay-ryan-theoryandformalmethods1993proceedingsofthefirstimperialcollegedepartmentofcomputingworkshopontheoryandformalmethodsisleofthornsconferencecentrechelwoodgatesussexuk2931march1993-1993","role":"editor","urls":{},"downloads":0},"search_terms":["theory","formal","methods","1993","proceedings","first","imperial","college","department","computing","workshop","theory","formal","methods","isle","thorns","conference","centre","chelwood","gate","sussex","march","1993"],"keywords":[],"authorIDs":[],"dataSources":["GciRpJR9wsHeLoGmf"]}