From 7618f8b2c47466e780de5cb900eb1351106adccd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= Date: Wed, 20 Apr 2022 17:20:00 +0200 Subject: [PATCH] Update bibliography and bbl file --- .../2021-ITP-PMTI/archiv/root.bbl | 15 +++++++------- .../2021-ITP-PMTI/document/root.bib | 20 ++++++++++--------- 2 files changed, 19 insertions(+), 16 deletions(-) diff --git a/examples/scholarly_paper/2021-ITP-PMTI/archiv/root.bbl b/examples/scholarly_paper/2021-ITP-PMTI/archiv/root.bbl index 298d5f3..4aa0968 100644 --- a/examples/scholarly_paper/2021-ITP-PMTI/archiv/root.bbl +++ b/examples/scholarly_paper/2021-ITP-PMTI/archiv/root.bbl @@ -47,7 +47,7 @@ Brucker, A.D., Wolff, B.: {Isabelle/DOF}: Design and implementation. In: \bibitem{DBLP:conf-ifm-BruckerW19} Brucker, A.D., Wolff, B.: Using ontologies in formal developments targeting certification. In: {IFM} 2019, Proceedings. LNCS, vol. 11918, pp. - 65--82. Springer (2019). \doi{10.1007/978-3-030-34968-4\_4} + 65--82. Springer (2019). \doi{10.1007/978-3-030-34968-4_4} \bibitem{bsi:50128:2014} Bs en 50128:2011: Railway applications -- communication, signalling and @@ -55,23 +55,24 @@ Bs en 50128:2011: Railway applications -- communication, signalling and Standard, Britisch Standards Institute (BSI) (Apr 2014) \bibitem{books/daglib/0032976} -Euzenat, J., Shvaiko, P.: Ontology Matching, Second Edition. Springer (2013) +Euzenat, J., Shvaiko, P.: Ontology Matching, Second Edition. Springer (2013). + \doi{10.1007/978-3-642-38721-0} \bibitem{atl} {Eclipse Foundation}: Atl - a model transformation technology, - \url{https://www.eclipse.org/atl/} + \url{https://www.eclipse.org/atl/}, {A}ccessed: 2022-03-15 \bibitem{FotsoFLM18} Fotso, S.J.T., Frappier, M., Laleau, R., Mammar, A.: Modeling the hybrid {ERTMS/ETCS} level 3 standard using a formal requirements engineering approach. In: Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ}, Southampton, UK. LLNCS, vol. 10817, pp. - 262--276. Springer (2018). \doi{10.1007/978-3-319-91271-4\_18} + 262--276. Springer (2018). \doi{10.1007/978-3-319-91271-4_18} \bibitem{HaftmannN10} Haftmann, F., Nipkow, T.: Code generation via higher-order rewrite systems. In: {FLOPS} 2010, Proceedings. LNCS, vol.~6009, pp. 103--117. - Springer (2010). \doi{10.1007/978-3-642-12251-4\_9} + Springer (2010). \doi{10.1007/978-3-642-12251-4_9} \bibitem{SPARCv8-AFP} Hou, Z., Sanan, D., Tiu, A., Liu, Y.: A formal model for the sparcv8 isa and a @@ -102,7 +103,7 @@ Kohlhase, M., Rabe, F.: Experiences from exporting major proof assistant Mendil, I., A{\"{\i}}t-Ameur, Y., Singh, N.K., M{\'{e}}ry, D., Palanque, P.A.: Standard conformance-by-construction with event-b. In: {FMICS}. LNCS, vol. 12863, pp. 126--146. Springer (2021). - \doi{10.1007/978-3-030-85248-1\_8} + \doi{10.1007/978-3-030-85248-1_8} \bibitem{protege} Musen, M.A.: The prot\'{e}g\'{e} project: A look back and a look forward. AI @@ -126,7 +127,7 @@ Nipkow, T., Ro{\ss}kopf, S.: Isabelle's metalogic: Formalization and proof \bibitem{OWL2014} Sengupta, K., Hitzler, P.: Web ontology language {(OWL)}. In: Encyclopedia of Social Network Analysis and Mining, pp. 2374--2378 (2014). - \doi{10.1007/978-1-4614-6170-8\_113} + \doi{10.1007/978-1-4614-6170-8_113} \bibitem{Security_Protocol_Refinement-AFP} Sprenger, C., Somaini, I.: Developing security protocols by refinement. Archive diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/root.bib b/examples/scholarly_paper/2021-ITP-PMTI/document/root.bib index 55bd1a7..1e5fe16 100644 --- a/examples/scholarly_paper/2021-ITP-PMTI/document/root.bib +++ b/examples/scholarly_paper/2021-ITP-PMTI/document/root.bib @@ -50,7 +50,7 @@ pages = {126--146}, publisher = {Springer}, year = {2021}, - doi = {10.1007/978-3-030-85248-1\_8} + doi = {10.1007/978-3-030-85248-1_8} } @inproceedings{FotsoFLM18, @@ -67,13 +67,14 @@ pages = {262--276}, publisher = {Springer}, year = {2018}, - doi = {10.1007/978-3-319-91271-4\_18} + doi = {10.1007/978-3-319-91271-4_18} } @MISC{atl, - title = {ATL - A model transformation technology}, - note={\url{https://www.eclipse.org/atl/}}, - author = {{Eclipse Foundation}} + title = {ATL - A model transformation technology}, + url = {https://www.eclipse.org/atl/}, + author = {{Eclipse Foundation}}, + note = "{A}ccessed: 2022-03-15" } @inproceedings{BGPP95, @@ -98,7 +99,7 @@ booktitle = {Encyclopedia of Social Network Analysis and Mining}, pages = {2374--2378}, year = {2014}, - doi = {10.1007/978-1-4614-6170-8\_113} + doi = {10.1007/978-1-4614-6170-8_113} } @article{protege, @@ -225,7 +226,7 @@ isbn="978-3-030-79876-5" publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12251-4\_9}, - doi = {10.1007/978-3-642-12251-4\_9}, + doi = {10.1007/978-3-642-12251-4_9}, timestamp = {Wed, 25 Sep 2019 18:04:25 +0200}, biburl = {https://dblp.org/rec/conf/flops/HaftmannN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} @@ -11563,7 +11564,8 @@ isbn="978-1-4471-3182-3" publisher = {Springer}, timestamp = {2015-06-18T09:49:52.000+0200}, title = {Ontology Matching, Second Edition.}, - year = 2013 + year = 2013, + doi = {10.1007/978-3-642-38721-0} } @@ -11925,7 +11927,7 @@ isbn="978-3-642-16690-7" publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-34968-4\_4}, - doi = {10.1007/978-3-030-34968-4\_4}, + doi = {10.1007/978-3-030-34968-4_4}, timestamp = {Tue, 26 Nov 2019 18:31:02 +0100}, bibsource = {dblp computer science bibliography, https://dblp.org} }