@inproceedings{PKRJPJTW2005,
               author = {P. K. Nalla, R. J. Weiss, P. Peranandam, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Symbolic bounded property checking in parallel},
               booktitle = {In 4th International Workshop on Parallel and Distributed Methods in Verification, Electronic Notes in Theoretical Computer Science},
               publisher = {Elsevier},
               year = {2005},
}