@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"
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A