@inproceedings{weko_123589_1, author = "徐,海燕 and 古川,哲也 and 史,一華", title = "状態制約に基づく並行処理の非直列可能制御方式", booktitle = "全国大会講演論文集", year = "1993", volume = "第46回", number = "ソフトウェア", pages = "173--174", month = "mar" }