@mastersthesis{伊藤明彦2010,
  author = {伊藤 明彦},
  title = {時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析手法},
  school = {大阪大学},
  year = {2010},
  month = {feb}
}