@techreport{weko_28008_1, author = "世古,忠 and 菊野,亨", title = "並列論理シミュレーションにおけるロールバックについて", year = "1993", institution = "奈良工業高等専門学校情報工学科, 大阪大学基礎工学部情報工学科", number = "111(1993-SLDM-069)", month = "dec" }