blob: 29ec95aa4672554c45b1c82111b85dfbb618a7f2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
\documentclass[runningheads]{llncs}
\usepackage{amsmath}
\usepackage{amssymb}
\let\leq\leqslant
\let\le\leqslant
\let\geq\geqslant
\let\ge\geqslant
\DeclareMathOperator{\Uop}{\mathsf{U}}
\begin{document}
\title{Model Repair in Practice}
\author{Camil Staps \and Erin van der Veen}
\authorrunning{C. Staps \and E. van der Veen}
\institute{%
Radboud University, Nijmegen, The Netherlands\\
\email{\{c.staps,e.vanderveen\}@student.ru.nl}}
\maketitle
\begin{abstract}
Model repair bladibla % TODO
\end{abstract}
\input{intro}
\bibliography{library}
\bibliographystyle{splncs04}
\end{document}
|