@Article{         AkshayGenestHelouetYang,
  Author        = {Akshay, S. and Genest, Blaise and H{\'e}lou{\"e}t, Lo{\"\i}c and Yang, Shaofa},
  date-added    = "2012-03-19 15:26:12 +0100",
  date-modified = "2012-06-01 17:37:27 +0200",
  Keywords      = "timed automata and message sequence charts",
  Title         = "Symbolically Bounding the Drift in Time-Constrained MSC Graphs",
  File          = "Symbolically Bounding the Drift in Time-Constrained MSC Graphs - Akshay, Genest, Hélouët, Yang (0) (0) - a - a - u.pdf"
}

@Article{ AkshayGenestHelouetYang, Author = {Akshay, S. and Genest, Blaise and H{\'e}lou{\"e}t, Lo{\"\i}c and Yang, Shaofa}, date-added = "2012-03-19 15:26:12 +0100", date-modified = "2012-06-01 17:37:27 +0200", Keywords = "timed automata and message sequence charts", Title = "Symbolically Bounding the Drift in Time-Constrained MSC Graphs", File = "Symbolically Bounding the Drift in Time-Constrained MSC Graphs - Akshay, Genest, Hélouët, Yang (0) (0) - a - a - u.pdf" }