@article{weko_185716_1,
   author	 = "Kosuke,Matsumoto and Tomoharu,Ugawa and Tatsuya,Abe",
   title	 = "Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2018",
   volume	 = "11",
   number	 = "1",
   month	 = "feb"
}