From 39c8a35ea3e98dbebd87427c203f2fb7c561c64d Mon Sep 17 00:00:00 2001
From: Jannik Dunkelau <jannik.dunkelau@hhu.de>
Date: Mon, 14 Oct 2019 20:52:59 +0200
Subject: [PATCH] Fixes to references.bib
---
references.bib | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/references.bib b/references.bib
index 3d2a193..173f738 100644
--- a/references.bib
+++ b/references.bib
@@ -8,7 +8,7 @@
@Book(abrial2010modeling,
Author = {Abrial, Jean-Raymond},
- Title = {Modeling in {E}vent-{B}: System and Software Engineering},
+ Title = {Modeling in {Event}-{B}: System and Software Engineering},
Year = 2010,
Publisher = {Cambridge University Press},
Address = {New York, NY, USA}
@@ -16,7 +16,7 @@
@Book(carlsson1988sicstus,
Author = {Carlsson, Mats and Widen, Johan and Andersson, Johan and Andersson, Stefan and Boortz, Kent and Nilsson, Hans and Sj{\"o}land, Thomas},
- Title = {{SICS}tus Prolog User's Manual},
+ Title = {{SICStus} Prolog User's Manual},
Year = 1988,
Volume = 3,
Publisher = {Swedish Institute of Computer Science},
@@ -37,7 +37,7 @@
@InProceedings(leuschel2003prob,
Author = {Leuschel, Michael and Butler, Michael},
- Title = {ProB},
+ Title = {{ProB}},
Year = 2003,
Month = sep,
Booktitle = {{FME} 2003: Formal Methods},
--
GitLab