@Article{         HeusnerLerouxMuschollSutre:LMCS:2012,
  Author        = "Heu{\ss}ner, Alexander and Leroux, J{\'e}r{\^o}me and Muscholl, Anca and Sutre, Gr{\'e}goire",
  date-added    = "2012-10-03 09:40:47 +0000",
  date-modified = "2018-03-11 11:15:32 +0000",
  Journal       = "LMCS",
  Keywords      = "communicating automata and pushdown automata",
  Month         = "September",
  Number        = "3",
  Pages         = "1--20",
  Title         = "Reachability Analysis of Communicating Pushdown Systems",
  Volume        = "8",
  Year          = "2012",
  File          = "Reachability Analysis of Communicating Pushdown Systems - Heußner, Leroux, Muscholl, Sutre (0) (0) - a - a - u.pdf"
}

@Article{ HeusnerLerouxMuschollSutre:LMCS:2012, Author = "Heu{\ss}ner, Alexander and Leroux, J{\'e}r{\^o}me and Muscholl, Anca and Sutre, Gr{\'e}goire", date-added = "2012-10-03 09:40:47 +0000", date-modified = "2018-03-11 11:15:32 +0000", Journal = "LMCS", Keywords = "communicating automata and pushdown automata", Month = "September", Number = "3", Pages = "1--20", Title = "Reachability Analysis of Communicating Pushdown Systems", Volume = "8", Year = "2012", File = "Reachability Analysis of Communicating Pushdown Systems - Heußner, Leroux, Muscholl, Sutre (0) (0) - a - a - u.pdf" }