B
[BGS14] Benedikt Bollig, Paul Gastin, and Jana Schubert. Parameterized verification of communicating automata under context bounds. In RP'14, Lecture Notes in Computer Science 8762, pages 45-57. Springer-Verlag, September 2014. 
@inproceedings{rp2014-BGS,
  author =              {Bollig, Benedikt and Gastin, Paul and Schubert,
                         Jana},
  title =               {Parameterized verification of communicating automata
                         under context bounds},
  editor =              {Ouaknine, Jo{\"e}l and Potapov, Igor and Worrell,
                         James},
  booktitle =           {{P}roceedings of the 8th {W}orkshop on
                         {R}eachability {P}roblems in {C}omputational
                         {M}odels ({RP}'14)},
  acronym =             {{RP}'14},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {8762},
  pages =               {45-57},
  year =                {2014},
  month =               sep,
  doi =                 {10.1007/978-3-319-11439-2_4},
}
List of authors