Mercurial > hg > Papers > 2008 > atsuki-master

diff paper/bibliography.tex @ 12:9b2553e32341

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author atsuki
date Fri, 15 Feb 2008 22:16:02 +0900
parents a4babe6179a7
children
line wrap: on
line diff
--- a/paper/bibliography.tex	Fri Feb 15 19:59:17 2008 +0900
+++ b/paper/bibliography.tex	Fri Feb 15 22:16:02 2008 +0900
@@ -1,19 +1,19 @@
 \begin{thebibliography}{99}
     \bibitem{bib:jssst2006}
-	下地篤樹, 河野真治. ``タブロー法を用いたContinuation based Cプログラムの検証''.
-	日本ソフトウェア科学会第23回大会, 2006.
+	Ƽ, . ``֥ˡѤContinuation based Cץθ''.
+	ܥեȥʳز23, 2006.
     \bibitem{bib:sigos2007}
-	下地篤樹, 河野真治. ``線形時相論理によるContinuation based Cプログラムの検証''.
-	情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), April, 2007.
+	Ƽ, . ``ˤContinuation based Cץθ''.
+	ز񥷥ƥॽեȥȥڥ졼ƥ󥰡ƥฦ(OS), April, 2007.
     \bibitem{bib:jssst2000kono}
-	河野真治. ``継続を持つCの下位言語によるシステム記述''.
-	日本ソフトウェア科学会第17回大会, 2000.
+	. ``³Cβ̸ˤ륷ƥ൭''.
+	ܥեȥʳز17, 2000.
     \bibitem{bib:sigos2000shimabukuro}
-	島袋仁, 河野真治. ``C with Continuationと、そのPlayStationへの応用''.
-	情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2000.
+	޿, . ``C with ContinuationȡPlayStationؤα''.
+	ز񥷥ƥॽեȥȥڥ졼ƥ󥰡ƥฦ(OS), May, 2000.
     \bibitem{bib:jssst2001higa}
-	比嘉薫, 河野真治. ``タブロー法の負荷分散について''.
-	日本ソフトウェア科学会第18回大会論文集, Sep, 2001.
+	ŷ, . ``֥ˡʬˤĤ''.
+	ܥեȥʳز18ʸ, Sep, 2001.
     \bibitem{bib:spin}
 	``Spin - Formal Verification''.
 	http://spinroot.com/spin/whatispin.html