@InProceedings{   Dima:VISSAS:2005,
  Author        = "Dima, Catalin",
  bibsource     = "dblp computer science bibliography, http://dblp.org",
  biburl        = "http://dblp.org/rec/bib/conf/vissas/Dima05",
  BookTitle     = "Proc. of VISSAS'05",
  date-added    = "2017-12-29 13:22:57 +0000",
  date-modified = "2019-04-19 16:20:30 +0200",
  Pages         = "69--89",
  timestamp     = "Thu, 07 Sep 2006 10:46:10 +0200",
  Title         = "A Class of Automata for Computing Reachability Relations in Timed Systems",
  Year          = "2005",
  File          = "vissas05 (0) - a - a - v.pdf"
}

@InProceedings{ Dima:VISSAS:2005, Author = "Dima, Catalin", bibsource = "dblp computer science bibliography, http://dblp.org", biburl = "http://dblp.org/rec/bib/conf/vissas/Dima05", BookTitle = "Proc. of VISSAS'05", date-added = "2017-12-29 13:22:57 +0000", date-modified = "2019-04-19 16:20:30 +0200", Pages = "69--89", timestamp = "Thu, 07 Sep 2006 10:46:10 +0200", Title = "A Class of Automata for Computing Reachability Relations in Timed Systems", Year = "2005", File = "vissas05 (0) - a - a - v.pdf" }