]> git.siccegge.de Git - talk/coalgebraic-mu-calculus-cool-2.git/blob - chapters/benchmark.tex
Add more text
[talk/coalgebraic-mu-calculus-cool-2.git] / chapters / benchmark.tex
1 \section{Benchmarks}
2 \subsection*{Dummy}
3
4 \begin{frame}
5 TODO: some representative benchmarks with GMUL/TreeTab/Cool(/MLSolver?)
6 \end{frame}
7
8 %%% Local Variables:
9 %%% mode: latex
10 %%% TeX-master: "../vortrag"
11 %%% TeX-engine: luatex
12 %%% TeX-PDF-mode: t
13 %%% End: