@inproceedings{PKPMJSJRTW032006,
               author = {P. K. Nalla, P. M. Peranandam, J. Ruf, S. Laemmermann, J. Behrend, R. Weiss, T. Kropf, W. Rosenstiel},
               title = {Fast Distributed Property Checking},
               booktitle = {Design Automation and Test in Europe (DATE)},
               year = {2006},
               month = {03},
               address = {University Booth}
}