Add more text

[talk/coalgebraic-mu-calculus-cool-2.git] / chapters / benchmark.tex

diff --git a/chapters/benchmark.tex b/chapters/benchmark.tex
new file mode 100644 (file)
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: