@techreport{weko_22118_1, author = "間野,暢興", title = "並行システムの仕様の時区間表現を含むモデル表現とその設計、生成への応用", year = "1992", institution = "電子技術総合研究所", number = "100(1992-SE-089)", month = "dec" }