@InProceedings{   VerwerWeerdtWitteveen:Benelearn:2007,
  Author        = "Verwer, Sicco and de Weerdt, Mathijs and Witteveen, Cees",
  BookTitle     = "Proc of. the Annual Belgian-Dutch Machine Learning Conference (Benelearn'078)",
  date-added    = "2020-01-06 15:28:45 +0100",
  date-modified = "2020-01-06 15:30:18 +0100",
  Title         = "An algorithm for learning real-time automata",
  Year          = "2007",
  File          = "An algorithm for learning real-time automata - c10df1165a9fadeb20930034e7d4ccc962d0 - a - a - a - r.pdf",
  file-2        = "An algorithm for learning real-time automata - verwer07bnaic - a - a - a - r.pdf"
}

@InProceedings{ VerwerWeerdtWitteveen:Benelearn:2007, Author = "Verwer, Sicco and de Weerdt, Mathijs and Witteveen, Cees", BookTitle = "Proc of. the Annual Belgian-Dutch Machine Learning Conference (Benelearn'078)", date-added = "2020-01-06 15:28:45 +0100", date-modified = "2020-01-06 15:30:18 +0100", Title = "An algorithm for learning real-time automata", Year = "2007", File = "An algorithm for learning real-time automata - c10df1165a9fadeb20930034e7d4ccc962d0 - a - a - a - r.pdf", file-2 = "An algorithm for learning real-time automata - verwer07bnaic - a - a - a - r.pdf" }