@misc{Bie2000,
Author = {Bienmüller, T. and Brockmeyer, U. and Holberg, H. J and Wittke, H.},
Title = {Automatic Debugging for STATEMATE Designs},

Year = {2000},
Month = {01},
type = {misc}
}
@COMMENT{Bibtex file generated on }