Commit fafbcd17 authored by sebastian.buchwald1's avatar sebastian.buchwald1

Mention temci in evaluation section

parent 1f522c93
......@@ -303,3 +303,17 @@ language={English}
Formal proof development},
ISSN = {2150-914x},
}
@misc{bechberger16bachelorarbeit,
title = {Besser Benchmarken},
year = {2016},
month = apr,
author = {Johannes Bechberger},
school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
institution = {IPD Snelting},
howpublished = {\url{http://pp.ipd.kit.edu/publication.php?id=bechberger16bachelorarbeit}},
}
@misc{temci,
author = {Johannes Bechberger},
title = {temci Documentation},
howpublished = {\url{http://temci.readthedocs.org/en/latest/}},
}
......@@ -30,3 +30,5 @@ damit der Leser nicht den zugehörigen Abschnitt im Fließtext finden muss.
}
\label{fig:example_table}
\end{figure}
Zum Benchmarken empfehlen wir das Tool \enquote{temci}~\cite{temci} und ein Studium der zugehörigen Bachelorarbeit~\cite{bechberger16bachelorarbeit}.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment