diff --git a/references.bib b/references.bib index 833065e6295ee35716ec3a1813db93d9a950ccdb..b2f15c2a5400b387d48360d5583d36f3fa6b9b7f 100644 --- a/references.bib +++ b/references.bib @@ -43,6 +43,6 @@ Booktitle = {{FME} 2003: Formal Methods}, Volume = 2805, Pages = {855--874}, - Publisher = {Springer Berlin Heidelberg}, + Publisher = {Springer}, Address = {Berlin, Heidelberg} )