@article{CTT100625774,
  author = {萩原茂樹 and 北村佑介 and 島川昌也 and 関戸聡 and 米崎直樹},
  title = {リアクティブシステム仕様を実現可能にするための環境制約の抽出},
  journal = {コンピューターソフトウェア},
  year = 2011,
}