@InProceedings{   NielsenSkou:TACAS:2001,
  Author        = "Nielsen, Brian and Skou, Arne",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proc. of TACAS'01",
  date-added    = "2020-01-06 15:08:01 +0100",
  date-modified = "2020-08-27 17:27:35 +0300",
  ISBN          = "3540418652",
  numpages      = "15",
  Pages         = "343--357",
  Publisher     = "Springer-Verlag",
  Title         = "Automated Test Generation from Timed Automata",
  Year          = "2001",
  File          = "Automated test generation from timed automata - rtsswip00 - a - a - a - y.pdf",
  file-2        = "Automated test generation from timed automata - FMT2008 - a - a - a - y.pdf"
}

@InProceedings{ NielsenSkou:TACAS:2001, Author = "Nielsen, Brian and Skou, Arne", Address = "Berlin, Heidelberg", BookTitle = "Proc. of TACAS'01", date-added = "2020-01-06 15:08:01 +0100", date-modified = "2020-08-27 17:27:35 +0300", ISBN = "3540418652", numpages = "15", Pages = "343--357", Publisher = "Springer-Verlag", Title = "Automated Test Generation from Timed Automata", Year = "2001", File = "Automated test generation from timed automata - rtsswip00 - a - a - a - y.pdf", file-2 = "Automated test generation from timed automata - FMT2008 - a - a - a - y.pdf" }