B
[BCC98] Sergey Berezin, Sérgio Vale Aguiar Campos, and Edmund M. Clarke. Compositional Reasoning in Model Checking. In COMPOS'97, Lecture Notes in Computer Science 1536, pages 81-102. Springer-Verlag, 1998. 
@inproceedings{compos1997-BCC,
  author =              {Berezin, Sergey and Campos, S{\'e}rgio Vale Aguiar
                         and Clarke, Edmund M.},
  title =               {Compositional Reasoning in Model Checking},
  editor =              {de Roever, Willem-Paul and Langmaack, Hans and
                         Pnueli, Amir},
  booktitle =           {{R}evised {L}ectures of the 1st {I}nternational
                         {S}ymposium on {C}ompositionality: {T}he
                         {S}ignificant {D}ifference ({COMPOS}'97)},
  acronym =             {{COMPOS}'97},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1536},
  pages =               {81-102},
  year =                {1998},
  confyear =            {1997},
  confmonth =           {9},
}
List of authors