From f2e8cb1d78339b833de2470314b3e0a4f1cfa4a7 Mon Sep 17 00:00:00 2001
From: Jannik Dunkelau <jannik.dunkelau@hhu.de>
Date: Thu, 5 Dec 2019 13:34:32 +0100
Subject: [PATCH] Fix ProB 2003 paper title

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

diff --git a/references.bib b/references.bib
index 173f738..833065e 100644
--- a/references.bib
+++ b/references.bib
@@ -37,7 +37,7 @@
 
 @InProceedings(leuschel2003prob,
   Author	= {Leuschel, Michael and Butler, Michael},
-  Title		= {{ProB}},
+  Title		= {{ProB}: A Model Checker for {B}},
   Year		= 2003,
   Month		= sep,
   Booktitle	= {{FME} 2003: Formal Methods},
-- 
GitLab