Commits

Carl Friedrich Bolz committed 1b6cfcb

done

  • Participants
  • Parent commits 286d681

Comments (0)

Files changed (1)

talk/vmil2012/paper.tex

 failures up to the compilation of the bridge and all executions of the then
 attached bridge.
 
-\bigtodo{reviewer c: It might be possible to use a chart for
-Figure~\ref{fig:failing_guards} to give more information?}
-
 \begin{figure*}
     \include{figures/failing_guards_table}
     \caption{Failing guards, guards with more than 200 failures and guards