@inproceedings{PMPKRJJTW2005,
               author = {P. M. Peranandam, P. K. Nalla, R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Overlap reduction in symbolic system traversal},
               booktitle = {IEEE International High Level Design Validation and Test Workshop (HLDVT)},
               year = {2005},
}