@mastersthesis{田中俊彰2011,
  author = {田中 俊彰},
  title = {複数反例抽出を用いた時間オートマトンの到達可能性解析手法},
  school = {大阪大学},
  year = {2011}
}