@article{weko_16788_1, author = "大須賀恭輔 and 結縁祥治 and 阿草,清滋", title = "実時間プロセス言語に基づく時間ステートチャートの動作シミュレーション", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2002", volume = "43", number = "SIG08(PRO15)", pages = "119--119", month = "sep" }