Skip to content
Snippets Groups Projects
Commit 8c954ee2 authored by Jannik Dunkelau's avatar Jannik Dunkelau
Browse files

Fix overfull hboxes in appendix

parent a7d53125
No related branches found
No related tags found
No related merge requests found
...@@ -42,14 +42,15 @@ in denen die vorgestellten Forschungsartikel gesammelt werden. ...@@ -42,14 +42,15 @@ in denen die vorgestellten Forschungsartikel gesammelt werden.
\begin{figure} \begin{figure}
\centering \centering
\includegraphics[scale=.5]{fig/prob-springer.png} \includegraphics[scale=.5]{fig/prob-springer.png}
\caption{Screenshot von \url{https://link.springer.com/chapter/10.1007/978-3-540-45236-2_46}} \caption[Screenshot von \url{https://link.springer.com}]{
Screenshot von \url{https://link.springer.com/chapter/10.1007/978-3-540-45236-2_46}}%
\label{fig:prob-springer} \label{fig:prob-springer}
\end{figure} \end{figure}
Ein Beispiel ist der Artikel von Leuschel und Butler zu \textsc{ProB}~\cite{leuschel2003prob}. Ein Beispiel ist der Artikel von Leuschel und Butler zu \textsc{ProB}~\cite{leuschel2003prob}.
In \cref{fig:prob-springer} sind die wichtigen Informationen für den Bibtex-Eintrag zu finden, In \cref{fig:prob-springer} sind die wichtigen Informationen für den Bibtex-Eintrag zu finden,
die Sie auf jeden Fall angeben sollten. die Sie auf jeden Fall angeben sollten.
Ein Beispiel für einen passenden Bibtex-Eintrag lautet wie folgt (hier wird der \verb|InProceedings|-Typ verwendet: Ein Beispiel für einen passenden Bibtex-Eintrag lautet wie folgt (hier wird der \verb|InProceedings|-Typ verwendet):
\begin{verbatim} \begin{verbatim}
@InProceedings(leuschel2003prob, @InProceedings(leuschel2003prob,
...@@ -97,7 +98,8 @@ Darin findet man unter anderem den folgenden Artikel: ...@@ -97,7 +98,8 @@ Darin findet man unter anderem den folgenden Artikel:
\begin{verbatim} \begin{verbatim}
@InCollection(Leuschel2021, @InCollection(Leuschel2021,
Author = {Leuschel, Michael}, Author = {Leuschel, Michael},
Title = {{Spot the Difference: A Detailed Comparison Between B and Event-B}}, Title = {Spot the Difference: A Detailed Comparison Between {B}
and Event-{B}},
Booktitle = {Logic, Computation and Rigorous Methods}, Booktitle = {Logic, Computation and Rigorous Methods},
Publisher = {Springer}, Publisher = {Springer},
Year = 2021, Year = 2021,
...@@ -127,7 +129,8 @@ allerdings ist der Typ hier \verb|Article|. ...@@ -127,7 +129,8 @@ allerdings ist der Typ hier \verb|Article|.
Title = {{ProB}: An Automated Analysis Toolset for the {B} Method}, Title = {{ProB}: An Automated Analysis Toolset for the {B} Method},
Year = 2008, Year = 2008,
Month = mar, Month = mar,
Journal = {International Journal on Software Tools for Technology Transfer}, Journal = {International Journal on Software Tools for
Technology Transfer},
Volume = 10, Volume = 10,
Pages = {185--203}, Pages = {185--203},
Number = 2 Number = 2
...@@ -169,7 +172,8 @@ Falls Sie eine Bachelorarbeit zitieren möchten, können Sie auch den Typen \ver ...@@ -169,7 +172,8 @@ Falls Sie eine Bachelorarbeit zitieren möchten, können Sie auch den Typen \ver
\begin{verbatim} \begin{verbatim}
@MastersThesis(eulynx_ma, @MastersThesis(eulynx_ma,
Author = {Abdul Rasheeq}, Author = {Abdul Rasheeq},
Title = {{An Approach To Improve SysML Railway Specification Using UML-B And Event-B}}, Title = {An Approach To Improve {SysML} Railway Specification
Using {UML-B} And Event-{B}},
School = {Frankfurt University of Applied Sciences}, School = {Frankfurt University of Applied Sciences},
Year = 2019 Year = 2019
) )
...@@ -178,7 +182,8 @@ Falls Sie eine Bachelorarbeit zitieren möchten, können Sie auch den Typen \ver ...@@ -178,7 +182,8 @@ Falls Sie eine Bachelorarbeit zitieren möchten, können Sie auch den Typen \ver
\begin{verbatim} \begin{verbatim}
@PhDThesis(nummenmaa2013executable, @PhDThesis(nummenmaa2013executable,
Author = {Nummenmaa, Timo}, Author = {Nummenmaa, Timo},
Title = {{Executable formal specifications in game development: Design, validation and evolution}}, Title = {Executable formal specifications in game development:
Design, validation and evolution},
School = {University of Tampere}, School = {University of Tampere},
Year = 2013 Year = 2013
) )
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment