@InProceedings{   DBLP:conf/concur/Dima05,
  Author        = "Dima, Catalin",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "CONCUR",
  date-added    = "2013-10-08 10:30:00 +0000",
  date-modified = "2013-10-08 10:30:52 +0000",
  ee            = "http://dx.doi.org/10.1007/11539452\_11",
  Keywords      = "timed automata and stopwatch automata",
  Pages         = "95-109",
  Title         = "Timed Shuffle Expressions",
  Year          = "2005",
  bdsk-url-1    = "https://link.springer.com/chapter/10.1007/11539452\_11",
  File          = "Timed Shuffle Expressions - Dima (1) (0) - a - a - f.pdf"
}

@InProceedings{ DBLP:conf/concur/Dima05, Author = "Dima, Catalin", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "CONCUR", date-added = "2013-10-08 10:30:00 +0000", date-modified = "2013-10-08 10:30:52 +0000", ee = "http://dx.doi.org/10.1007/11539452_11", Keywords = "timed automata and stopwatch automata", Pages = "95-109", Title = "Timed Shuffle Expressions", Year = "2005", bdsk-url-1 = "https://link.springer.com/chapter/10.1007/11539452_11", File = "Timed Shuffle Expressions - Dima (1) (0) - a - a - f.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge