Minor stuff.
1.1 --- a/paper/src/paper.tex Sat May 28 00:48:18 2011 +0200
1.2 +++ b/paper/src/paper.tex Sat May 28 01:43:28 2011 +0200
1.3 @@ -71,12 +71,12 @@
1.4 Automata are good.
1.5 \section{Model Checking}
1.6 \begin{thebibliography}{99}
1.7 -\bibitem{ref:ltl&büchi} Madhavan Mukund: {\em Linear-Time Temporal Logic and B\"uchi Automata}.
1.8 +\bibitem{ref:ltl&büchi} Madhavan Mukund. {\em Linear-Time Temporal Logic and B\"uchi Automata}.
1.9 Winter School on Logic and Computer Science, Indian Statistical Institute, Calcutta, 1997.
1.10
1.11 \bibitem{ref:handbook}
1.12 -Patrick Blackburn, Frank Wolter and Johan Van Benthem:
1.13 +Patrick Blackburn, Frank Wolter and Johan Van Benthem.
1.14 {\em Handbook of Modal Logic (Studies in Logic and Practical Reasoning)}.
1.15 -Elsevier, Amsterdam, 3rd Edition, 2007.
1.16 +3rd Edition, Elsevier, Amsterdam, 2007.
1.17 \end{thebibliography}
1.18 \end{document}