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