@Article{         10.5555/608177.608181,
  Author        = "Dembi\'{n}ski, Piotr and Penczek, Wojciech and P\'{o}lrola, Agata",
  Address       = "NLD",
  date-added    = "2020-07-28 08:06:17 +0200",
  date-modified = "2020-07-28 08:06:17 +0200",
  ISSN          = "0169-2968",
  issue_date    = "March 2002",
  Journal       = "Fundam. Inf.",
  Month         = "March",
  Number        = "1",
  numpages      = "31",
  Pages         = "59--89",
  Publisher     = "IOS Press",
  Title         = "Verification of Timed Automata Based on Similarity",
  Volume        = "51",
  Year          = "2002"
}

@Article{ 10.5555/608177.608181, Author = "Dembi\'{n}ski, Piotr and Penczek, Wojciech and P\'{o}lrola, Agata", Address = "NLD", date-added = "2020-07-28 08:06:17 +0200", date-modified = "2020-07-28 08:06:17 +0200", ISSN = "0169-2968", issue_date = "March 2002", Journal = "Fundam. Inf.", Month = "March", Number = "1", numpages = "31", Pages = "59--89", Publisher = "IOS Press", Title = "Verification of Timed Automata Based on Similarity", Volume = "51", Year = "2002" }