From f58bb9cf21d5ecd64704523dfe0f9c44b96575c3 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 27 May 2020 15:04:10 +0200
Subject: [PATCH] adapt bibtex entry
---
README.md | 18 ++++++++----------
1 file changed, 8 insertions(+), 10 deletions(-)
diff --git a/README.md b/README.md
index 1b69e28..874e685 100644
--- a/README.md
+++ b/README.md
@@ -76,16 +76,14 @@ For information on how to use the kernel, run the built-in `:help` command, or s
An article about the ProB Jupyter kernel has been [published at ABZ'2020](https://rdcu.be/b4rql).
```
-@InProceedings{GelessusLeuschel:ABZ2020,
- author="Gele{\ss}us, David and Leuschel, Michael",
- editor="Raschke, Alexander and M{\'e}ry, Dominique and Houdek, Frank",
- title="ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods",
- booktitle="Rigorous State-Based Methods",
- year="2020",
- publisher="Springer International Publishing",
- address="Cham",
- pages="248--254",
- abstract="We present a tool for using the B language in computational notebooks, based on the Jupyter Notebook interface and the ProB tool. Applications of B notebooks include executable documentation of formal models, interactive manuals, validation reports but also teaching of formal methods, logic, set theory and theoretical computer science. In addition to B and Event-B, the tool supports Z, {\$}{\$}{\backslash}textsc {\{}TLA{\}}^{\{}+{\}}{\$}{\$} and Alloy.",
+@inproceedings{GelessusLeuschel:abz2020,
+ author = {David Gelessus and Michael Leuschel},
+ title = {{ProB} and {Jupyter} for Logic, Set Theory, Theoretical Computer Science and Formal Methods},
+ booktitle = {Proceedings ABZ 2020},
+ editor="Raschke, Alexander and M{\'e}ry, Dominique and Houdek, Frank",
+ year = {2020},
+ series = {LNCS 12071},
+ pages="248--254",
isbn="978-3-030-48077-6"
}
```
\ No newline at end of file
--
GitLab