repositories
/
mc1516the.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
hoi
[mc1516the.git]
/
third.tex
diff --git
a/third.tex
b/third.tex
index
8642319
..
7bb7a3b
100644
(file)
--- a/
third.tex
+++ b/
third.tex
@@
-26,7
+26,7
@@
probability interval of $[0.0486043,0.148433]$ with a confidence of $0.95$. The
chance of overheating in 100 time units thus lies between $\pm0\%$ and
$\pm1\%$.
-\begin{figure}[h]
+\begin{figure}[h
t
]
\centering
\includegraphics[width=.8\linewidth]{3}
\caption{Modeling vessel and rods in \UPPAAL}\label{fig:uppaal3}