@InProceedings{M01,
  author =       {U. Milanese},
  title =        {Zuf"allige BDDs: Algorithmen und Anwendungen},
  booktitle =    {Kolloquium Programmiersprachen und Grundlagen der Programmierung},
  pages =        {13-17},
  year =         {2001},
  editor =       {K. Indermark and T. Noll},
  number =       {AIB-2001-11},
  address =      {RWTH Aachen},
  month =        {dec},
  url =          {http://aib.informatik.rwth-aachen.de/2001/2001-11.ps.gz}
}