@inproceedings{PKRJJTW2005,
               author = {P. K. Nalla, R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Parallel bounded property checking with SymC},
               booktitle = {Modellierung und Verifikation, 8. GI/ITG/GMM Workshop},
               year = {2005},
}