@InProceedings{   Jonsson2017LearningMM,
  Author        = "Jonsson, B. and Vaandrager, F.",
  date-added    = "2020-12-13 21:25:11 +0100",
  date-modified = "2020-12-13 21:25:11 +0100",
  Title         = "Learning Mealy Machines with Timers",
  Year          = "2017",
  File          = "Learning Mealy Machines with Timers - slidesMMT - a - n.pdf",
  file-2        = "Learning Mealy Machines with Timers - full - a - n.pdf"
}

@InProceedings{ Jonsson2017LearningMM, Author = "Jonsson, B. and Vaandrager, F.", date-added = "2020-12-13 21:25:11 +0100", date-modified = "2020-12-13 21:25:11 +0100", Title = "Learning Mealy Machines with Timers", Year = "2017", File = "Learning Mealy Machines with Timers - slidesMMT - a - n.pdf", file-2 = "Learning Mealy Machines with Timers - full - a - n.pdf" }