@inproceedings{CTT100636202, author = {高橋 宏治 and 野沢 達彦}, title = {複数種が混流した分散連携制御のための制御仕様記述}, booktitle = {第50回離散事象システム研究会講演論文集}, year = 2011, }