Mercurial > hg > Papers > 2009 > rep-verify-sigos
view sigos.bbl @ 5:34bfeb51e287
add section tex file, Makefile
author | gongo@gendarme.local |
---|---|
date | Sat, 28 Mar 2009 16:26:43 +0900 |
parents | 8e30bfb5deb6 |
children |
line wrap: on
line source
\begin{thebibliography}{1} \bibitem{bib:soba} {}. \newblock {SOBA Project}, March 2004. \bibitem{bib:ellis} {C. A. Ellis and S. J. Gibbs }. \newblock {Concurrency control in groupware systems}. \newblock 1989. \bibitem{havelund98model} K.~Havelund and T.~Pressburger. \newblock Model checking java programs using java pathfinder, 1998. \bibitem{bib:groupkit} Mark Roseman and Saul Greenberg. \newblock {\em Building Real Time Groupware with GroupKit, A Groupware Toolkit}. \newblock 1996. \bibitem{rep-sourceforge} {Shinji KONO}. \newblock {rep}, Aug 2006. \bibitem{kono04g} {安村 恭一 and 河野 真治(琉球大)}. \newblock {巡回トークンを用いた複数人テキスト編集とセッション管理}. \newblock 情報処理学会システムソフトウェアとオペレーティング・システム研究会, June 2004. \bibitem{bib:xp} 長瀬嘉秀. \newblock {\em eXtreme Programming}. \newblock 日本XPユーザグループ関西支部, 2002. \end{thebibliography}