@InProceedings{   LaTorreMukhopadhyayMurano:TCS:2002,
  Author        = "Torre, Salvatore La and Mukhopadhyay, Supratik and Murano, Aniello",
  Address       = "NLD",
  BookTitle     = "Proc. of TCS'02",
  date-added    = "2020-02-06 18:54:44 +0100",
  date-modified = "2020-02-06 18:55:39 +0100",
  ISBN          = "1402071817",
  numpages      = "13",
  Pages         = "485---497",
  Publisher     = "Kluwer, B.V.",
  Series        = "TCS '02",
  Title         = "Optimal-Reachability and Control for Acyclic Weighted Timed Automata",
  Year          = "2002",
  File          = "Optimal-reachability and control for acyclic weighted timed automata - Torre2002\_Chapter\_Optimal-ReachabilityAndControl - a - a - a - x.pdf"
}

@InProceedings{ LaTorreMukhopadhyayMurano:TCS:2002, Author = "Torre, Salvatore La and Mukhopadhyay, Supratik and Murano, Aniello", Address = "NLD", BookTitle = "Proc. of TCS'02", date-added = "2020-02-06 18:54:44 +0100", date-modified = "2020-02-06 18:55:39 +0100", ISBN = "1402071817", numpages = "13", Pages = "485---497", Publisher = "Kluwer, B.V.", Series = "TCS '02", Title = "Optimal-Reachability and Control for Acyclic Weighted Timed Automata", Year = "2002", File = "Optimal-reachability and control for acyclic weighted timed automata - Torre2002_Chapter_Optimal-ReachabilityAndControl - a - a - a - x.pdf" }