C
[CCM+95] Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, and Marius Minea. Verifying the performance of the PCI local bus using symbolic techniques. In ICCD'95, pages 72-78. IEEE Comp. Soc. Press, October 1995. 
@inproceedings{iccd1995-CCMM,
  author =              {Campos, S{\'e}rgio Vale Aguiar and Clarke, Edmund M.
                         and Marrero, Wilfredo R. and Minea, Marius},
  title =               {Verifying the performance of the PCI local bus using
                         symbolic techniques},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {C}omputer {D}esign ({ICCD}'95)},
  acronym =             {{ICCD}'95},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {72-78},
  year =                {1995},
  month =               oct,
}
List of authors