X-Git-Url: https://git.siccegge.de//index.cgi?p=talk%2Fcoalgebraic-mu-calculus-cool-2.git;a=blobdiff_plain;f=chapters%2Fbenchmark.tex;fp=chapters%2Fbenchmark.tex;h=5342771798c9cc162c19bdedeaa60429f5b062de;hp=0000000000000000000000000000000000000000;hb=edc63ce858f06a6b08536f876c7328820edd92a8;hpb=1d48022e102d8178ceed440a34825e110c46f4e0

diff --git a/chapters/benchmark.tex b/chapters/benchmark.tex
new file mode 100644
index 0000000..5342771
--- /dev/null
+++ b/chapters/benchmark.tex
@@ -0,0 +1,13 @@
+\section{Benchmarks}
+\subsection*{Dummy}
+
+\begin{frame}
+  TODO: some representative benchmarks with GMUL/TreeTab/Cool(/MLSolver?)
+\end{frame}
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "../vortrag"
+%%% TeX-engine: luatex
+%%% TeX-PDF-mode: t
+%%% End: