@techreport{weko_45333_1, author = "新子,浩康 and 中田,明夫 and 大場充", title = "時相論理式を満足する実時間プロトコル仕様のパラメータ条件導出", year = "2000", institution = "広島市立大学情報科学部情報数理学科, 広島市立大学情報科学部情報数理学科, 広島市立大学情報科学部情報数理学科", number = "30(1999-CSEC-008)", month = "mar" }