B
[BCZ99] Armin Biere, Edmund M. Clarke, and Yunshan Zhu. Combining Local and Global Model Checking. In SMC'99, Electronic Notes in Theoretical Computer Science 23(2). Elsevier, July 1999. 
@inproceedings{smc1999-BCZ,
  author =              {Biere, Armin and Clarke, Edmund M. and Zhu, Yunshan},
  title =               {Combining Local and Global Model Checking},
  editor =              {Cimatti, Alessandro and Grumberg, Orna},
  booktitle =           {{P}roceedings of the 1st {I}nternational {W}orkshop
                         on {S}ymbolic {M}odel {C}hecking ({SMC}'99)},
  acronym =             {{SMC}'99},
  publisher =           {Elsevier},
  series =              {Electronic Notes in Theoretical Computer Science},
  volume =              {23},
  number =              {2},
  year =                {1999},
  month =               jul,
}
List of authors