@inproceedings{CTT100737461,
  author = {Masaya Shimakawa and Kenji Osari and Shigeki Hagihara and Naoki Yonezaki},
  title = {Modularization of formal specifications for efficient synthesis of reactive systems},
  booktitle = {Preproceedings of 6th International Conference on Software and Computer Applications (ICSCA 2017)},
  year = 2017,
}

@inproceedings{CTT100648486,
  author = {Kenji Osari and Shigeki Hagihara and Naoki Yonezaki},
  title = {Discussion on modularization of specifications for efficient synthesis of reactive systems},
  booktitle = {7th Symposium on Mathematical Aspects of Computer Science, SMACS2014, Preproceedings},
  year = 2014,
}

@inproceedings{CTT100668283,
  author = {長利健治 and 萩原茂樹 and 米崎直樹},
  title = {実現可能性判定を高速化するための仕様の特徴量に基づいた仕様分割手法},
  booktitle = {電子情報通信学会2014年総合大会講演論文集},
  year = 2014,
}

@inproceedings{CTT100665099,
  author = {長利健治 and 室岡拓弥 and 萩原聖貴 and 安藤崇央 and 島川昌也 and 伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {記述性を重視したリアクティブシステム用仕様記述言語T},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100661008,
  author = {Kenji Osari and Takuya Murooka and Kiyotaka Hagiwara and Takahiro Ando and Masaya Shimakawa and Sohei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {An object-oriented language  for parameterised reactive system specification based on linear temporal logic},
  booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2013)},
  year = 2013,
}