@inproceedings{CTT100700994,
  author = {峰尾太陽 and 石井大輔 and 渡部卓雄},
  title = {時相論理式の反証を用いた制御器のチューニング},
  booktitle = {信学技報},
  year = 2016,
}