From f05df8a29f2262c72deac15a9fb9b9acc5d04f85 Mon Sep 17 00:00:00 2001
From: Jannik Dunkelau <jannik.dunkelau@hhu.de>
Date: Wed, 12 Feb 2020 09:59:19 +0100
Subject: [PATCH] Remove redundant info from bib-file

---
 references.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/references.bib b/references.bib
index 833065e..b2f15c2 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}
 )
-- 
GitLab