@inproceedings{weko_117848_1, author = "田口,毅 and 安藤,津芳 and 長谷川,晴朗", title = "中間言語にペトリネットを用いたSDL仕様設計の一方式", booktitle = "全国大会講演論文集", year = "1989", volume = "第39回", number = "ソフトウェア工学", pages = "1589--1590", month = "oct" }