From ee647d28223c3925385bdcc35c3ccf6beb2e0c21 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= Date: Sun, 8 May 2022 11:01:41 +0200 Subject: [PATCH] Update bibliography bbl latex file --- .../2021-ITP-PMTI/archiv/latex_compilation_material/root.bbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/scholarly_paper/2021-ITP-PMTI/archiv/latex_compilation_material/root.bbl b/examples/scholarly_paper/2021-ITP-PMTI/archiv/latex_compilation_material/root.bbl index 044cd01..7f4ca69 100644 --- a/examples/scholarly_paper/2021-ITP-PMTI/archiv/latex_compilation_material/root.bbl +++ b/examples/scholarly_paper/2021-ITP-PMTI/archiv/latex_compilation_material/root.bbl @@ -22,7 +22,7 @@ Auer, S., Bizer, C., Kobilarov, G., Lehmann, J., Cyganiak, R., Ives, Z.: Brucker, A.D., Ait-Sadoune, I., Crisafulli, P., Wolff, B.: Using the {Isabelle} ontology framework: Linking the formal with the informal. In: CICM. No. 11006 in LNCS, Springer-Verlag, Heidelberg (2018). - \doi{10.1007/978-3-319-96812-4_3}, + \doi{10.1007/978-3-319-96812-4_3} \bibitem{brucker.ea:upf-firewall:2017} Brucker, A.D., Br{\"u}gger, L., Wolff, B.: Formal network models and their