@inproceedings{PKPMJRTW032005,
               author = {P. K. Nalla, P. M. Peranandam, J. Ruf, R. Weiss, T. Kropf, W. Rosenstiel},
               title = {Bounded Property Checking with SymC},
               booktitle = {Design Automation and Test in Europe (DATE)},
               year = {2005},
               month = {03},
               address = {University Booth }
}