@STRING{dsd_euromicro={EUROMICRO Symposium on Digital System Design} }
@InProceedings{DG:2002b,
  language	= {USenglish},
  author	= {Rolf Drechsler and Daniel Gro{\ss}e},
  title		= {Reachability Analysis for Formal Verification of {SystemC}},
  booktitle	= dsd_euromicro,
  pages		= {337--340},
  year		= 2002,
  public	= {no}
}