@Article{         springerlink:10.1007/BF00709157,
  Author        = "Courcoubetis, Costas and Yannakakis, Mihalis",
  date-added    = "2012-10-29 16:14:01 +0000",
  date-modified = "2012-10-30 21:54:36 +0000",
  ISSN          = "0925-9856",
  Issue         = "4",
  Journal       = "Formal Methods in System Design",
  Keywords      = "timed automata",
  Note          = "10.1007/BF00709157",
  Pages         = "385-415",
  Publisher     = "Springer Netherlands",
  Title         = "Minimum and maximum delay problems in real-time systems",
  URL           = "http://dx.doi.org/10.1007/BF00709157",
  Volume        = "1",
  Year          = "1992",
  bdsk-url-1    = "http://dx.doi.org/10.1007/BF00709157",
  File          = "Minimum and maximum delay problems in real-time systems - Courcoubetis, Yannakakis (0) (0) - a - a - r.pdf"
}

@Article{ springerlink:10.1007/BF00709157, Author = "Courcoubetis, Costas and Yannakakis, Mihalis", date-added = "2012-10-29 16:14:01 +0000", date-modified = "2012-10-30 21:54:36 +0000", ISSN = "0925-9856", Issue = "4", Journal = "Formal Methods in System Design", Keywords = "timed automata", Note = "10.1007/BF00709157", Pages = "385-415", Publisher = "Springer Netherlands", Title = "Minimum and maximum delay problems in real-time systems", URL = "http://dx.doi.org/10.1007/BF00709157", Volume = "1", Year = "1992", bdsk-url-1 = "http://dx.doi.org/10.1007/BF00709157", File = "Minimum and maximum delay problems in real-time systems - Courcoubetis, Yannakakis (0) (0) - a - a - r.pdf" }