B
[BRB90] Karl S. Brace, Richard L. Ruddel et Randal E. Bryant. Efficient Implementation of a BDD package. In DAC'90, pages 40-45. IEEE Comp. Soc. Press, juin 1990. 
@inproceedings{dac1990-BRB,
  author =              {Brace, Karl S. and Ruddel, Richard L. and Bryant,
                         Randal E.},
  title =               {Efficient Implementation of a {BDD} package},
  booktitle =           {{P}roceedings of the 27th {D}esign {A}utomation
                         {C}onference ({DAC}'90)},
  acronym =             {{DAC}'90},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {40-45},
  year =                {1990},
  month =               jun,
}
Liste des auteurs