{"_id":"D9ZksZmFZWwNzPbuc","bibbaseid":"fitzgerald-jones-lucas-fme97industrialapplicationsandstrengthenedfoundationsofformalmethods4thinternationalsymposiumofformalmethodseuropegrazaustriaseptember15191997proceedings-1997","downloads":0,"creationDate":"2019-02-02T15:48:53.643Z","title":"FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings","author_short":null,"year":1997,"bibtype":"proceedings","biburl":"http://dblp.org/pers/tb2/s/Sekerinski:Emil","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["John","S."],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Cliff","B."],"propositions":[],"lastnames":["Jones"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Lucas"],"suffixes":[]}],"title":"FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings","series":"Lecture Notes in Computer Science","volume":"1313","publisher":"Springer","year":"1997","url":"https://doi.org/10.1007/3-540-63533-5","doi":"10.1007/3-540-63533-5","isbn":"3-540-63533-5","timestamp":"Sun, 02 Jun 2019 21:24:32 +0200","biburl":"https://dblp.org/rec/bib/conf/fm/1997","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/fm/1997,\n editor = {John S. Fitzgerald and\n Cliff B. Jones and\n Peter Lucas},\n title = {{FME} '97: Industrial Applications and Strengthened Foundations of\n Formal Methods, 4th International Symposium of Formal Methods Europe,\n Graz, Austria, September 15-19, 1997, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1313},\n publisher = {Springer},\n year = {1997},\n url = {https://doi.org/10.1007/3-540-63533-5},\n doi = {10.1007/3-540-63533-5},\n isbn = {3-540-63533-5},\n timestamp = {Sun, 02 Jun 2019 21:24:32 +0200},\n biburl = {https://dblp.org/rec/bib/conf/fm/1997},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Fitzgerald, J. S.","Jones, C. B.","Lucas, P."],"key":"DBLP:conf/fm/1997","id":"DBLP:conf/fm/1997","bibbaseid":"fitzgerald-jones-lucas-fme97industrialapplicationsandstrengthenedfoundationsofformalmethods4thinternationalsymposiumofformalmethodseuropegrazaustriaseptember15191997proceedings-1997","role":"editor","urls":{"Paper":"https://doi.org/10.1007/3-540-63533-5"},"downloads":0},"search_terms":["fme","industrial","applications","strengthened","foundations","formal","methods","4th","international","symposium","formal","methods","europe","graz","austria","september","1997","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b"]}