@TechReport{      learn,
  Author        = "Vaandrager, Frits and Bloem, Roderick and Ebrahimi, Masoud",
  date-added    = "2020-12-13 21:24:15 +0100",
  date-modified = "2020-12-13 21:24:34 +0100",
  Title         = "Learning Mealy Machines with One Timer",
  File          = "Learning Mealy Machines with One Timer - LearningMM1Ts - a - c.pdf"
}

@TechReport{ learn, Author = "Vaandrager, Frits and Bloem, Roderick and Ebrahimi, Masoud", date-added = "2020-12-13 21:24:15 +0100", date-modified = "2020-12-13 21:24:34 +0100", Title = "Learning Mealy Machines with One Timer", File = "Learning Mealy Machines with One Timer - LearningMM1Ts - a - c.pdf" }