@inproceedings{PMRJJTW2004,
               author = {P. M. Peranandam, R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Dynamic guiding of bounded property checking},
               booktitle = {In IEEE International High Level Design Validation and Test Workshop (HLDVT)},
               year = {2004},
}