Skip to content
Snippets Groups Projects
Commit f05df8a2 authored by Jannik Dunkelau's avatar Jannik Dunkelau
Browse files

Remove redundant info from bib-file

parent 53f01eb9
No related branches found
No related tags found
No related merge requests found
...@@ -43,6 +43,6 @@ ...@@ -43,6 +43,6 @@
Booktitle = {{FME} 2003: Formal Methods}, Booktitle = {{FME} 2003: Formal Methods},
Volume = 2805, Volume = 2805,
Pages = {855--874}, Pages = {855--874},
Publisher = {Springer Berlin Heidelberg}, Publisher = {Springer},
Address = {Berlin, Heidelberg} Address = {Berlin, Heidelberg}
) )
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment