\relax 
\bibstyle{jplain}
\citation{Cell}
\newlabel{cellarch}{{1.}{1}}
\citation{java-conncurrecy}
\newlabel{amdahl}{{2.\,1}{2}}
\citation{spurs}
\citation{kono08b}
\citation{cbc-sourceforge}
\newlabel{fig000}{{4.}{3}}
\citation{kono01g}
\citation{wolper82}
\citation{synBTTL}
\citation{kono93b}
\citation{holzmann97model}
\citation{havelund98model}
\citation{groce04understanding}
\newlabel{tab:dpp_tableau}{{1}{6}}
\bibdata{ref}
\bibcite{synBTTL}{1}
\bibcite{Cell}{2}
\bibcite{java-conncurrecy}{3}
\bibcite{groce04understanding}{4}
\bibcite{havelund98model}{5}
\bibcite{holzmann97model}{6}
\bibcite{spurs}{7}
\bibcite{kono93b}{8}
\bibcite{wolper82}{9}
\bibcite{cbc-sourceforge}{10}
\bibcite{kono01g}{11}
\bibcite{kono08b}{12}
\newlabel{tab:spin_dpp}{{2}{7}}
\newlabel{tab:jpf_dpp}{{3}{7}}